Commits · gradle · sarah.grebing / ProofScriptParser

15 Feb, 2018 1 commit
- Lulus Bugfix · 0422f647
  Sarah Grebing authored Feb 15, 2018
  
  0422f647
14 Feb, 2018 3 commits
- documentation · 7601598a
  Sarah Grebing authored Feb 14, 2018
  
  7601598a
- Merge remote-tracking branch 'origin/gradle' into gradle · 5d51a439
  Sarah Grebing authored Feb 14, 2018
  
  5d51a439
- Utils now contain a static method to printparsableTerms · f9104ab7
  Sarah Grebing authored Feb 14, 2018
  
  f9104ab7
13 Feb, 2018 2 commits
- new ci file · 991c3b45
  Alexander Weigl authored Feb 13, 2018
  
  991c3b45
- Now copy to clipboard contains parsable string · 28c13f04
  Sarah Grebing authored Feb 13, 2018
  
  28c13f04
12 Feb, 2018 4 commits
- fixed instantiate commadn in key sources · 265fdf76
  Sarah Grebing authored Feb 12, 2018
  
  265fdf76
- Merge branch 'master' into gradle · 1bfc2b02
  Sarah Grebing authored Feb 12, 2018
  
  1bfc2b02
- 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
08 Feb, 2018 2 commits
- other key versions · 0f340c93
  Sarah Grebing authored Feb 08, 2018
  
  0f340c93
- commit for interactiveModeController · 56c238c2
  Sarah Grebing authored Feb 08, 2018
  
  56c238c2
07 Feb, 2018 4 commits
- $LULUDBR\Lulu's avatar$
  
  Sortskript of Quicksort · 96b8eeca
  LULUDBR\Lulu authored Feb 07, 2018
  
  96b8eeca
- $LULUDBR\Lulu's avatar$
  
  Merge remote-tracking branch 'origin/master' · 93ab9a18
  LULUDBR\Lulu authored Feb 07, 2018
  
  93ab9a18
- $LULUDBR\Lulu's avatar$
  contraposition skript angepasst · 9398d9ba
  LULUDBR\Lulu authored Feb 07, 2018
```
multiple Open Goals Fix
```
  9398d9ba
- 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 28, 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 6 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