Merge requests · sarah.grebing / ProofScriptParser

Luonng variable assignment

!27 · created Nov 26, 2018 by uudmk
- MERGED
- 1
updated Jan 24, 2019
intermediate merge

!26 · created Nov 23, 2018 by sarah.grebing 56-compact-script-after-exiting-interactive-mode
- MERGED
- 0
updated Nov 24, 2018
Resolve "Add Variable View to GoalOptionsView"

!23 · created Oct 05, 2018 by uudmk Feature Requirement
- MERGED
- 1
updated Nov 23, 2018
Reverse Merge Request

!25 · created Nov 22, 2018 by sarah.grebing 55-add-variable-view-to-goaloptionsview
- MERGED
- 0
updated Nov 22, 2018
WIP: Fix for isDerivable

!22 · created Oct 05, 2018 by alexander.weigl
- MERGED
- 6
updated Nov 13, 2018
Luong mastermerge

!21 · created Sep 27, 2018 by uudmk
- MERGED
- 0
updated Oct 09, 2018
Luong workbranch

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

!19 · created May 22, 2018 by sarah.grebing
- MERGED
- 0
updated May 22, 2018
Persistence of interpreter state

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

!16 · created May 16, 2018 by alexander.weigl
- MERGED
- 0
updated May 16, 2018
Matcher re implementation

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

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

!11 · created Feb 13, 2018 by sarah.grebing
- MERGED
- 0
updated Feb 13, 2018
Recent changes into new build infrastructure

!10 · created Feb 12, 2018 by sarah.grebing gradle
- MERGED
- 0
updated Feb 12, 2018
Master to merge

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

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

!7 · created Jan 21, 2018 by uudmk
- MERGED
- 0
updated Jan 22, 2018
Lulu sequent matcher2

!6 · created Jan 19, 2018 by sarah.grebing
- MERGED
- 0
updated Jan 19, 2018
Lulus sequent matcher

!5 · created Jan 09, 2018 by alexander.weigl
- MERGED
- 0
updated Jan 09, 2018
Everything new! Everything Better Now!!

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