Commits · 549528617607b6cea1702fa55aaa846dc4fe2a98 · sarah.grebing / ProofScriptParser

01 Jun, 2018 2 commits
- bugfix matcher · da98f424
  Sarah Grebing authored Jun 01, 2018
  
  da98f424
- revert DockFX · 2b65453d
  Sarah Grebing authored Jun 01, 2018
  
  2b65453d
16 May, 2018 1 commit
- Weigl jdk10 · 352d07c6
  alexander.weigl authored May 16, 2018
  
  352d07c6
28 Jan, 2018 1 commit
- gradle build · 3d8b9312
  Alexander Weigl authored Jan 28, 2018
  
  3d8b9312
21 Jan, 2018 1 commit
- website is ready · 1e0289cf
  Alexander Weigl authored Jan 21, 2018
  
  1e0289cf
19 Jan, 2018 1 commit
- working on license window · 0848a23c
  Alexander Weigl authored Jan 19, 2018
  
  0848a23c
02 Nov, 2017 1 commit
- repairing gitlab-ci · 9f676085
  Alexander Weigl authored Nov 02, 2017
  
  9f676085
27 Oct, 2017 1 commit
- libraries repair · 9dfb35b5
  Alexander Weigl authored Oct 27, 2017
  
  9dfb35b5
06 Oct, 2017 1 commit
- Bigfix for exception in calling proof tree tab panes · b31bfc68
  Sarah Grebing authored Oct 06, 2017
  
  b31bfc68
20 Sep, 2017 2 commits
- bugfix · 9880e692
  Sarah Grebing authored Sep 20, 2017
  
  9880e692
- minor change for examples · 47018a59
  Sarah Grebing authored Sep 20, 2017
  
  47018a59
31 Aug, 2017 1 commit
- local pom reverted · 79fbb50d
  Sarah Grebing authored Aug 31, 2017
  
  79fbb50d
29 Aug, 2017 1 commit
- add DockFX · 6d25b0ae
  Alexander Weigl authored Aug 29, 2017
  
  6d25b0ae
28 Aug, 2017 1 commit
- Die Axt im Walde ... · 145e4979
  Alexander Weigl authored Aug 28, 2017
  
  145e4979
08 Jul, 2017 3 commits
- docking framework seems good · ca4ce23b
  Alexander Weigl authored Jul 08, 2017
  
  ca4ce23b
- set to correct module · f581dea7
  Alexander Weigl authored Jul 08, 2017
  
  f581dea7
- remove submodules · 701d92ce
  Alexander Weigl authored Jul 08, 2017
  
  701d92ce
07 Jul, 2017 1 commit
- embedd a docking framework · d8b9ba9b
  Alexander Weigl authored Jul 07, 2017
```
* works, but needed some adaptions or fixes
```
  d8b9ba9b