• Alexander Weigl's avatar
    Merge branch 'master' of git.scc.kit.edu:xt9634/ProofScriptParser · f56281e7
    Alexander Weigl authored
    * 'master' of git.scc.kit.edu:xt9634/ProofScriptParser:
      New Script Tabs loadable and concept for loading a file again is implementend: if file is already laoded and loaded again, it is overwritten (Decision for the beginning); part for right side is coming in the next days ;-)
      New Tabs loadable and concept for loading a file again is implementend: if file is already laoded and loaded again, it is overwritten (Decision for the beginning)
      small improvements
      Better StatusBar, little refactoring in contract chooser
      Empty tab pane has buttons now, need to add the appropriate Action
      Empty TabPane (not final yet)
      Fixed issue back
      Initial Tab for scriptArea
      Added tabbedpane in fxml for scriptarea and model skelett for inspectionviewmodel
      CodeArea's syntax highlightning
      added first part of parser testcases
    f56281e7
Name
Last commit
Last update
.idea Loading commit data...
lib Loading commit data...
src Loading commit data...
.checkstyle_rules.xml Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.gitmodules Loading commit data...
LICENSE Loading commit data...
pom.xml Loading commit data...