Commits · cef9b7844022d3d9d827a843a9d16789fd160840 · sarah.grebing / ProofScriptParser

28 Apr, 2017 5 commits
- some bug fixes and relaxation in the grammar · cef9b784
  Alexander Weigl authored Apr 28, 2017
  
  cef9b784
- starting the boring work on an AST · 903f952b
  Alexander Weigl authored Apr 28, 2017
  
  903f952b
- test facilities · dbf48761
  Alexander Weigl authored Apr 28, 2017
```
just a parsable expression in goodexpr.txt
and not parsable in badexpr.txt and they are tested

similar for complete scripts
```
  dbf48761
- changes to the grammar · 51bc8891
  Alexander Weigl authored Apr 28, 2017
```
in preparation for an visitor
```
  51bc8891
- add a facade · 588a76d2
  Alexander Weigl authored Apr 28, 2017
  
  588a76d2
27 Apr, 2017 1 commit
- init ProofScriptLanguage and Maven Project · 39738b60
  Sarah Grebing authored Apr 27, 2017
  
  39738b60