wneuper <Walther.Neuper@jku.at> [Wed, 16 Nov 2022 10:29:52 +0100] rev 60592
make Minisubplb/200-start-method independent #2: Tactic.Rewrite_Set partially
wenzelm [Tue, 15 Nov 2022 11:11:06 +0100] rev 60591
proper quotes;
wneuper <Walther.Neuper@jku.at> [Thu, 10 Nov 2022 14:25:38 +0100] rev 60590
make Minisubplb/200-start-method independent from Thy_Info #1
wneuper <Walther.Neuper@jku.at> [Wed, 09 Nov 2022 15:15:24 +0100] rev 60589
rename Minisubpbl: in the future "a" indicates a "Maximum"-test
And the old naming can contiunue with too many file-renaming
wneuper <Walther.Neuper@jku.at> [Mon, 07 Nov 2022 19:58:01 +0100] rev 60588
rename KEstore_Elems to Know_Store
wneuper <Walther.Neuper@jku.at> [Mon, 07 Nov 2022 19:49:14 +0100] rev 60587
delete superfluous field in Method_Def.T
wneuper <Walther.Neuper@jku.at> [Mon, 07 Nov 2022 17:37:20 +0100] rev 60586
rename fields in Method_Def.T
wneuper <Walther.Neuper@jku.at> [Mon, 31 Oct 2022 18:28:36 +0100] rev 60585
rename fields in Probl_Def.T
wneuper <Walther.Neuper@jku.at> [Mon, 31 Oct 2022 16:53:59 +0100] rev 60584
delete forgotten code
wneuper <Walther.Neuper@jku.at> [Mon, 31 Oct 2022 16:43:48 +0100] rev 60583
cleanup Problem/MethodC..prep_input