Commits · 9f59ca14f4634a0d48b9756fcdb3c08e3d853f79 · sarah.grebing / ProofScriptParser

13 Feb, 2018 1 commit
- new ci file · 9f59ca14
  Alexander Weigl authored Feb 13, 2018
  
  9f59ca14
05 Nov, 2017 2 commits
- sonar · b0991376
  Alexander Weigl authored Nov 05, 2017
  
  b0991376
- Context Menu for ProofTree, Formatting, · b9e750f0
  Alexander Weigl authored Nov 05, 2017
```
* Menu entries for debugging
```
  b9e750f0
03 Nov, 2017 1 commit
- fix javadoc · 282daaef
  Alexander Weigl authored Nov 03, 2017
  
  282daaef
02 Nov, 2017 4 commits
- reactive site:site · 539c65ed
  Alexander Weigl authored Nov 02, 2017
  
  539c65ed
- rewrite setup script · b732a269
  Alexander Weigl authored Nov 02, 2017
  
  b732a269
- missing stage · abf5ae4e
  Alexander Weigl authored Nov 02, 2017
  
  abf5ae4e
- repairing gitlab-ci · 9f676085
  Alexander Weigl authored Nov 02, 2017
  
  9f676085
01 Sep, 2017 1 commit
- Update .gitlab-ci.yml · 9bc8b3f8
  sarah.grebing authored Sep 01, 2017
  
  9bc8b3f8
21 Aug, 2017 2 commits
- recursive git submodule for gitlab ci · d2f7d565
  Alexander Weigl authored Aug 21, 2017
  
  d2f7d565
- recursive git submodule for gitlab ci · e096a76d
  Alexander Weigl authored Aug 21, 2017
  
  e096a76d
01 Jun, 2017 1 commit
- Update .gitlab-ci.yml · 8a1f4e87
  alexander.weigl authored Jun 01, 2017
  
  8a1f4e87
30 May, 2017 1 commit
- Update .gitlab-ci.yml · 539f3116
  alexander.weigl authored May 30, 2017
  
  539f3116
01 May, 2017 5 commits
- Update .gitlab-ci.yml · 0bd714d5
  alexander.weigl authored May 01, 2017
  
  0bd714d5
- Update .gitlab-ci.yml · c9c4a1c8
  alexander.weigl authored May 01, 2017
  
  c9c4a1c8
- Update .gitlab-ci.yml · 7d9ffb72
  alexander.weigl authored May 01, 2017
  
  7d9ffb72
- Update .gitlab-ci.yml · ca5c474a
  alexander.weigl authored May 01, 2017
  
  ca5c474a
- Update .gitlab-ci.yml · 3a99a6f9
  alexander.weigl authored May 01, 2017
  
  3a99a6f9
30 Apr, 2017 1 commit
- Add .gitlab-ci.yml · 7950844e
  alexander.weigl authored Apr 30, 2017
  
  7950844e