ProofScriptParser merge requests
https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests
2019-01-31T12:58:26+01:00
https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/24
Resolve "Compact script after exiting interactive mode"
2019-01-31T12:58:26+01:00
uudmk
Resolve "Compact script after exiting interactive mode"
Closes #56
Closes #56
sarah.grebing
sarah.grebing
https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/23
Resolve "Add Variable View to GoalOptionsView"
2018-11-23T15:46:40+01:00
uudmk
Resolve "Add Variable View to GoalOptionsView"
Closes #55
Closes #55
sarah.grebing
sarah.grebing
https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/18
Luong savepoint
2018-05-22T14:10:49+02:00
sarah.grebing
Luong savepoint
Changes to handle savepoints in scripts, 1. Version
Changes to handle savepoints in scripts, 1. Version
sarah.grebing
sarah.grebing