Commits · 5376686a9d877cbf58abfab360dbb9eb8172e4af · sarah.grebing / ProofScriptParser

12 Feb, 2018 2 commits
- build for cradle · 5376686a
  Sarah Grebing authored Feb 12, 2018
  
  5376686a
- Merge branch 'master' into 'gradle' · 8e7a29bf
  sarah.grebing authored Feb 12, 2018
```
Recent changes into new build infrastructure

See merge request !10
```
  8e7a29bf
07 Feb, 2018 1 commit
- Sysout commented · c62ccd21
  Sarah Grebing authored Feb 07, 2018
  
  c62ccd21
05 Feb, 2018 1 commit
- fix interactive mode · ef5271b4
  Sarah Grebing authored Feb 05, 2018
  
  ef5271b4
03 Feb, 2018 1 commit
- Bugfix repeat · 6b3f4efe
  Sarah Grebing authored Feb 03, 2018
  
  6b3f4efe
02 Feb, 2018 2 commits
- Bugfix for variable decllaration and assignment · 4ba1944a
  Sarah Grebing authored Feb 02, 2018
  
  4ba1944a
- Bugfix for label matcher · f51974f3
  Sarah Grebing authored Feb 02, 2018
  
  f51974f3
01 Feb, 2018 1 commit
- Fix for NPE and labels · cbd58a54
  Sarah Grebing authored Feb 01, 2018
  
  cbd58a54
31 Jan, 2018 5 commits
- Added testcase for assignmenthook change in interprteroptions · ee046b3b
  Sarah Grebing authored Jan 31, 2018
  
  ee046b3b
- Merge remote-tracking branch 'origin/master' · 7924590f
  Sarah Grebing authored Jan 31, 2018
  
  7924590f
- Bugfix variablehooks · 02be8c3b
  Sarah Grebing authored Jan 31, 2018
  
  02be8c3b
- Merge branch 'masterToMerge' into 'master' · 5064f230
  sarah.grebing authored Jan 31, 2018
```
Master to merge

See merge request !9
```
  5064f230
- minor bugfix concerning services · 03be4306
  Sarah Grebing authored Jan 31, 2018
  
  03be4306
29 Jan, 2018 5 commits
- nested case bugfix · 2bbd89d2
  Sarah Grebing authored Jan 29, 2018
  
  2bbd89d2
- Now with nested Cases · e3881ad8
  Sarah Grebing authored Jan 29, 2018
  
  e3881ad8
- Merge branch 'masterToMerge' into 'master' · db44f34a
  alexander.weigl authored Jan 29, 2018
```
Master to merge

See merge request !8
```
  db44f34a
- changed Welcomepane and added sysouts to interactiveModecontroller · a7a05d05
  Sarah Grebing authored Jan 29, 2018
  
  a7a05d05
- added the service file of key in case it vanishes again · fba5dd8e
  Sarah Grebing authored Jan 29, 2018
  
  fba5dd8e
28 Jan, 2018 1 commit
- gradle build · 3d8b9312
  Alexander Weigl authored Jan 27, 2018
  
  3d8b9312
26 Jan, 2018 1 commit
- removed comments in examples scripts · 518466c2
  Sarah Grebing authored Jan 26, 2018
  
  518466c2
24 Jan, 2018 1 commit
- Docu, and changed package building plugin · e35d6ac7
  Sarah Grebing authored Jan 24, 2018
  
  e35d6ac7
23 Jan, 2018 9 commits
- dist as libs · b2d6b0e4
  Alexander Weigl authored Jan 23, 2018
  
  b2d6b0e4
- Example Docu · 9260f35a
  Sarah Grebing authored Jan 23, 2018
  
  9260f35a
- Documentation of both examples and webpage · 4e279984
  Sarah Grebing authored Jan 23, 2018
  
  4e279984
- Merge branch 'fmVersion' of git.scc.kit.edu:xt9634/ProofScriptParser into fmVersion · 51ea4b27
  Alexander Weigl authored Jan 23, 2018
```
* 'fmVersion' of git.scc.kit.edu:xt9634/ProofScriptParser:
  minor sizing issue
```
  51ea4b27
- some fixes, but not for uninstantiated taclets · 86619428
  Alexander Weigl authored Jan 23, 2018
  
  86619428
- minor sizing issue · d0e7695a
  Sarah Grebing authored Jan 23, 2018
  
  d0e7695a
- FM Version · 0430bb2f
  Sarah Grebing authored Jan 23, 2018
  
  0430bb2f
- Ideas for fixing interactive rule applications · a4d6ca6e
  Sarah Grebing authored Jan 23, 2018
  
  a4d6ca6e
- Bugfix save script · d312cfbf
  Sarah Grebing authored Jan 23, 2018
  
  d312cfbf
22 Jan, 2018 5 commits
- Merge branch 'LuluSequentMatcher2' into 'master' · cbd5e3b1
  sarah.grebing authored Jan 22, 2018
```
View of Matching results of Sequentmatcher changed

See merge request !7
```
  cbd5e3b1
- TacletContextMenu angepasst · bd128f5f
  Sarah Grebing authored Jan 22, 2018
  
  bd128f5f
- Now scripts that were generated are also loadable · bd1e6bc5
  Sarah Grebing authored Jan 22, 2018
  
  bd1e6bc5
- Added new Dilaogtype for end of script · 0c852f45
  Sarah Grebing authored Jan 22, 2018
  
  0c852f45
- Bugfixes from friday: Leere Liste der offenen Ziele · 445f6a6d
  Sarah Grebing authored Jan 22, 2018
  
  445f6a6d
21 Jan, 2018 4 commits
- website is ready · 1e0289cf
  Alexander Weigl authored Jan 21, 2018
  
  1e0289cf
- version to 1.0-FM · a7eca2f3
  Alexander Weigl authored Jan 21, 2018
  
  a7eca2f3
- about dialog finished · 6b3508f8
  Alexander Weigl authored Jan 21, 2018
  
  6b3508f8
- $LULUDBR\Lulu's avatar$
  
  View of Matching results of Sequentmatcher changed · 655f5937
  LULUDBR\Lulu authored Jan 21, 2018
  
  655f5937
19 Jan, 2018 1 commit
- 3rd parties · 777e59b3
  Alexander Weigl authored Jan 19, 2018
  
  777e59b3