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