Commits · e1d70be52e4014ec7f728af3edc468c26c98a05b · sarah.grebing / ProofScriptParser

17 Dec, 2017 1 commit
- fix typo in grammar · e1d70be5
  Alexander Weigl authored Dec 17, 2017
  
  e1d70be5
16 Dec, 2017 1 commit
- grammar restructured · 10f6693e
  Alexander Weigl authored Dec 16, 2017
```
 * if/while/strict/relax added
 * no rt adaptions
```
  10f6693e
10 Nov, 2017 1 commit
- function rule · a730de1d
  Alexander Weigl authored Nov 10, 2017
  
  a730de1d
05 Nov, 2017 1 commit
- Context Menu for ProofTree, Formatting, · b9e750f0
  Alexander Weigl authored Nov 05, 2017
```
* Menu entries for debugging
```
  b9e750f0
01 Nov, 2017 1 commit
- Renaming/refactoring trying to make things easier · 90894510
  Alexander Weigl authored Nov 01, 2017
  
  90894510
13 Sep, 2017 1 commit
- Changes to jars and commented exceptions · 126a35d7
  Sarah Grebing authored Sep 13, 2017
  
  126a35d7
06 Sep, 2017 1 commit
- Testcase for cut rule, needs to be considered next · a0ff0420
  Sarah Grebing authored Sep 06, 2017
  
  a0ff0420
31 Aug, 2017 1 commit
- added first testcases for try and closes · 559327a5
  Sarah Grebing authored Aug 31, 2017
  
  559327a5
30 Aug, 2017 2 commits
- minor changes in KeYInterpreter · 726585a1
  Sarah Grebing authored Aug 30, 2017
  
  726585a1
- changes to paths · 880c6ea1
  Sarah Grebing authored Aug 30, 2017
  
  880c6ea1
29 Aug, 2017 1 commit
- closes expression in parser · 08f697b5
  Sarah Grebing authored Aug 29, 2017
  
  08f697b5
28 Aug, 2017 1 commit
- Die Axt im Walde ... · 145e4979
  Alexander Weigl authored Aug 28, 2017
  
  145e4979