Merge requests · sarah.grebing / ProofScriptParser

Luong compact interactive

!29 · created Jan 28, 2019 by uudmk
updated Jan 29, 2019
Grebing luong workbranch

!28 · created Jan 24, 2019 by sarah.grebing
- 1
updated Mar 11, 2019
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
Reverse Merge Request

!25 · created Nov 22, 2018 by sarah.grebing 55-add-variable-view-to-goaloptionsview
- MERGED
- 0
updated Nov 22, 2018
Resolve "Compact script after exiting interactive mode"

!24 · created Oct 30, 2018 by uudmk Feature
updated Jan 31, 2019
Resolve "Add Variable View to GoalOptionsView"

!23 · created Oct 05, 2018 by uudmk Feature Requirement
- MERGED
- 1
updated Nov 23, 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
Luong savepoint

!18 · created May 22, 2018 by sarah.grebing Feature Requirement
- CLOSED
- 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
Minus in Identifier

!14 · created Feb 16, 2018 by alexander.weigl
updated Jul 09, 2018
Gradle

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

!12 · created Feb 13, 2018 by alexander.weigl
- CLOSED
- 0
updated Feb 13, 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