Walther Neuper <walther.neuper@jku.at> [Fri, 17 Jul 2020 11:42:20 +0200] rev 60028
cleanup Test_Parse*, start parsers for keyword ISAC
Walther Neuper <walther.neuper@jku.at> [Thu, 02 Jul 2020 09:57:58 +0200] rev 60027
test ISAC keywords
Walther Neuper <walther.neuper@jku.at> [Mon, 29 Jun 2020 18:05:04 +0200] rev 60026
note a TODO with tests (make steps around SubProblem more consistent)
Walther Neuper <walther.neuper@jku.at> [Mon, 29 Jun 2020 17:33:47 +0200] rev 60025
repair etc/settings
Walther Neuper <walther.neuper@jku.at> [Mon, 29 Jun 2020 17:27:34 +0200] rev 60024
new test me' doesn't overload jEdit buffers
Walther Neuper <walther.neuper@jku.at> [Mon, 29 Jun 2020 16:01:01 +0200] rev 60023
renamings for Isabelle WS
Walther Neuper <walther.neuper@jku.at> [Mon, 29 Jun 2020 15:43:35 +0200] rev 60022
code polishing
Walther Neuper <walther.neuper@jku.at> [Sun, 14 Jun 2020 15:39:55 +0200] rev 60021
unify code (and replace Specify.by_tactic_input' by Specify.by_Add_)
test Specify/refine --- Refine_Problem (from subp-rooteq.sml) ---
revealed undetected failure of Specify.find_next_step
Walther Neuper <walther.neuper@jku.at> [Fri, 12 Jun 2020 11:41:57 +0200] rev 60020
unify signatures of Step's (Step_Specify.by_tactic_input)
Walther Neuper <walther.neuper@jku.at> [Wed, 03 Jun 2020 17:15:04 +0200] rev 60019
make Specify.find_next_step more readable