Commits · fmVersion · sarah.grebing / ProofScriptParser

13 Feb, 2018 2 commits
- restore mvn ci · f34c52eb
  Alexander Weigl authored Feb 13, 2018
  
  f34c52eb
- new ci file · 51e08686
  Alexander Weigl authored Feb 13, 2018
  
  51e08686
08 Feb, 2018 3 commits
- minor correction · fdcf546f
  Sarah Grebing authored Feb 08, 2018
  
  fdcf546f
- fm Version 1.0.2c fixed minor · f0fa5bb9
  Sarah Grebing authored Feb 08, 2018
  
  f0fa5bb9
- settings now improtable · 27180e04
  Sarah Grebing authored Feb 08, 2018
  
  27180e04
06 Feb, 2018 1 commit
- temp commit · c822da5c
  Sarah Grebing authored Feb 06, 2018
  
  c822da5c
05 Feb, 2018 3 commits
- Merge remote-tracking branch 'remotes/origin/fmVersionToApplyPatch' into fmVersion · 5f2a3659
  Sarah Grebing authored Feb 05, 2018
  
  5f2a3659
- Fix for scripts that are started with more than one goal · b3fca557
  Sarah Grebing authored Feb 05, 2018
  
  b3fca557
- Fix for scripts that are started with more than one goal · 017cbb07
  Sarah Grebing authored Feb 05, 2018
  
  017cbb07
03 Feb, 2018 2 commits
- Bugfix repeat · da250c6d
  Sarah Grebing authored Feb 03, 2018
  
  da250c6d
- Added fix in Agatha example · ce52034f
  Sarah Grebing authored Feb 03, 2018
  
  ce52034f
02 Feb, 2018 1 commit
- Added bugfixes from master · 035d0942
  Sarah Grebing authored Feb 02, 2018
  
  035d0942
29 Jan, 2018 1 commit
- added the service file of key in case it vanishes again · fba5dd8e
  Sarah Grebing authored Jan 29, 2018
  
  fba5dd8e
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 7 commits
- 3rd parties · 777e59b3
  Alexander Weigl authored Jan 19, 2018
  
  777e59b3
- working on license window · 0848a23c
  Alexander Weigl authored Jan 19, 2018
  
  0848a23c
- looking for regession · 69a12418
  Sarah Grebing authored Jan 19, 2018
  
  69a12418
- Button fix · 15cc8d29
  Sarah Grebing authored Jan 19, 2018
  
  15cc8d29
- Merge remote-tracking branch 'origin/master' · 4507a767
  Sarah Grebing authored Jan 19, 2018
  
  4507a767
- NPE und Fehlerbehandlung · 87f25c1a
  Sarah Grebing authored Jan 19, 2018
  
  87f25c1a
- Merge branch 'LuluSequentMatcher2' into 'master' · ba36589f
  sarah.grebing authored Jan 19, 2018
```
Lulu sequent matcher2

See merge request !6
```
  ba36589f