Merge requests · sarah.grebing / ProofScriptParser

Add .gitlab-ci.yml

!1 · created Apr 30, 2017 by alexander.weigl
- MERGED
- 1
updated May 01, 2017
Mvnlicense

!2 · created Apr 30, 2017 by alexander.weigl
- MERGED
- 0
updated May 01, 2017
WIP: embedd a docking framework

!3 · created Jul 07, 2017 by alexander.weigl
- MERGED
- 0
updated Jul 08, 2017
Everything new! Everything Better Now!!

!4 · created Nov 02, 2017 by alexander.weigl
- MERGED
- 0
updated Nov 03, 2017
Lulus sequent matcher

!5 · created Jan 09, 2018 by alexander.weigl
- MERGED
- 0
updated Jan 09, 2018
Lulu sequent matcher2

!6 · created Jan 19, 2018 by sarah.grebing
- MERGED
- 0
updated Jan 19, 2018
View of Matching results of Sequentmatcher changed

!7 · created Jan 21, 2018 by uudmk
- MERGED
- 0
updated Jan 22, 2018
Master to merge

!8 · created Jan 29, 2018 by sarah.grebing
- MERGED
- 0
updated Jan 29, 2018
Master to merge

!9 · created Jan 31, 2018 by sarah.grebing
- MERGED
- 0
updated Jan 31, 2018
Recent changes into new build infrastructure

!10 · created Feb 12, 2018 by sarah.grebing gradle
- MERGED
- 0
updated Feb 12, 2018
Now copy to clipboard contains parsable string

!11 · created Feb 13, 2018 by sarah.grebing
- MERGED
- 0
updated Feb 13, 2018
Cinew

!12 · created Feb 13, 2018 by alexander.weigl
- CLOSED
- 0
updated Feb 13, 2018
Gradle

!13 · created Feb 15, 2018 by sarah.grebing
- MERGED
- 0
updated Feb 15, 2018
Minus in Identifier

!14 · created Feb 16, 2018 by alexander.weigl
updated Jul 09, 2018
Matcher re implementation

!15 · created Apr 24, 2018 by sarah.grebing
- MERGED
- 0
updated Apr 27, 2018
Weigl jdk10

!16 · created May 16, 2018 by alexander.weigl
- MERGED
- 0
updated May 16, 2018
Persistence of interpreter state

!17 · created May 16, 2018 by alexander.weigl
- MERGED
- 0
updated May 16, 2018
Luong savepoint

!18 · created May 22, 2018 by sarah.grebing Feature Requirement
- CLOSED
- 0
updated May 22, 2018
Luong savepoint

!19 · created May 22, 2018 by sarah.grebing
- MERGED
- 0
updated May 22, 2018
Luong workbranch

!20 · created Jun 08, 2018 by uudmk
- MERGED
- 0
updated Jun 08, 2018