Commits · c9e35fde14dc06d3accac4461defb5f006ea8305 · sarah.grebing / ProofScriptParser

19 May, 2017 2 commits
- pom update · c9e35fde
  Sarah Grebing authored May 19, 2017
  
  c9e35fde
- further bug fixes in variable assignments, added key.core.jar and dependencies · 667d3340
  Sarah Grebing authored May 19, 2017
  
  667d3340
04 May, 2017 1 commit
- add fileheaders, clone() -> copy() · f3d39151
  Alexander Weigl authored May 04, 2017
  
  f3d39151
01 May, 2017 2 commits
- added reports · fe1e3f41
  Alexander Weigl authored May 01, 2017
  
  fe1e3f41
- introducing lombok and type safety · 16848e62
  Alexander Weigl authored May 01, 2017
  
  16848e62
30 Apr, 2017 3 commits
- cleanup · f50163ae
  Alexander Weigl authored Apr 30, 2017
  
  f50163ae
- fix pom.xml for license plugin · f9f89ef1
  Alexander Weigl authored Apr 30, 2017
  
  f9f89ef1
- Update pom.xml · 13e81139
  alexander.weigl authored Apr 30, 2017
  
  13e81139
28 Apr, 2017 1 commit
- increase antlr to version 4.7 and active visitor · 0c920dff
  Alexander Weigl authored Apr 28, 2017
  
  0c920dff
27 Apr, 2017 2 commits
- Added antlr dependency for build · f30d6b53
  Sarah Grebing authored Apr 27, 2017
  
  f30d6b53
- init ProofScriptLanguage and Maven Project · 39738b60
  Sarah Grebing authored Apr 27, 2017
  
  39738b60