ProofScriptParser merge requestshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests2017-05-01T22:24:32+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/1Add .gitlab-ci.yml2017-05-01T22:24:32+02:00tk5165Add .gitlab-ci.ymltk5165tk5165https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/4Everything new! Everything Better Now!!2017-11-03T02:42:06+01:00tk5165Everything new! Everything Better Now!!https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/13Gradle2018-02-15T11:28:05+01:00sarah.grebingGradlehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/26intermediate merge2018-11-24T15:10:54+01:00sarah.grebingintermediate mergehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/6Lulu sequent matcher22018-01-19T13:34:10+01:00sarah.grebingLulu sequent matcher2Added implementation of Sequentmatcher and undo in interactive mode and quicksort exampleAdded implementation of Sequentmatcher and undo in interactive mode and quicksort examplesarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/5Lulus sequent matcher2018-01-09T16:46:50+01:00tk5165Lulus sequent matcheruudmkuudmkhttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/21Luong mastermerge2018-10-09T06:42:38+02:00uudmkLuong mastermergeBugfixes for masterBugfixes for mastersarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/19Luong savepoint2018-05-22T14:12:08+02:00sarah.grebingLuong savepointSavepoint Implementation Version 1Savepoint Implementation Version 1sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/20Luong workbranch2018-06-08T09:59:35+02:00uudmkLuong workbranchsarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/27Luonng variable assignment2019-01-24T08:41:46+01:00uudmkLuonng variable assignmentAlready merged master into this branchAlready merged master into this branchsarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/9Master to merge2018-01-31T08:24:03+01:00sarah.grebingMaster to mergeMinor fixes for Lulu, interactive cases not working yet.Minor fixes for Lulu, interactive cases not working yet.https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/8Master to merge2018-01-29T13:23:22+01:00sarah.grebingMaster to mergeBugfixes from FM VersionBugfixes from FM Versiontk5165tk5165https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/15Matcher re implementation2018-04-27T08:18:11+02:00sarah.grebingMatcher re implementationReimplementation of Matcher, which also includes a reimplementation of the matching in KeYReimplementation of Matcher, which also includes a reimplementation of the matching in KeYtk5165tk5165https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/2Mvnlicense2017-05-01T00:14:55+02:00tk5165Mvnlicensefor #6for #6https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/11Now copy to clipboard contains parsable string2018-02-13T14:56:24+01:00sarah.grebingNow copy to clipboard contains parsable string(cherry picked from commit 28c13f04e1eefd1ef9c9aa4a536bc6b8a85b55f4)(cherry picked from commit 28c13f04e1eefd1ef9c9aa4a536bc6b8a85b55f4)https://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/17Persistence of interpreter state2018-05-16T23:57:02+02:00tk5165Persistence of interpreter state@uudmk@uudmksarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/10Recent changes into new build infrastructure2018-02-12T08:21:23+01:00sarah.grebingRecent changes into new build infrastructurehttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/23Resolve "Add Variable View to GoalOptionsView"2018-11-23T15:46:40+01:00uudmkResolve "Add Variable View to GoalOptionsView"Closes #55Closes #55sarah.grebingsarah.grebinghttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/25Reverse Merge Request2018-11-22T14:42:56+01:00sarah.grebingReverse Merge Requesthttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/merge_requests/7View of Matching results of Sequentmatcher changed2018-01-22T16:47:04+01:00uudmkView of Matching results of Sequentmatcher changedsarah.grebingsarah.grebing