Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 16:34:42 +0200] rev 59929
Solve_Check: postpone parsing input to _ option
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 15:41:27 +0200] rev 59928
simplify Solve_Step.check, remove CAScmd (is not a tactic)
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 12:13:20 +0200] rev 59927
remove unused tactics, finish
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 11:36:13 +0200] rev 59926
remove Init_Proof, is NOT a tactic
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 10:57:04 +0200] rev 59925
remove unused tactics, part 1
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 09:15:39 +0200] rev 59924
comment tactics in struct. (only)
Walther Neuper <walther.neuper@jku.at> [Fri, 01 May 2020 17:17:41 +0200] rev 59923
unify sequence of tactics
Walther Neuper <walther.neuper@jku.at> [Fri, 01 May 2020 16:06:59 +0200] rev 59922
separate Specify_Step.check
Walther Neuper <walther.neuper@jku.at> [Fri, 01 May 2020 15:28:40 +0200] rev 59921
separate Solve_Step.check, repair ALL of Test_Isac_Short
Walther Neuper <walther.neuper@jku.at> [Wed, 29 Apr 2020 12:30:51 +0200] rev 59920
prep. separation of check Applicable between specify-phase and solve-phase