wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 19:05:33 +0200] rev 60526
push Proof.context through Fetch_Tacs.specific_from_prog
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 18:50:43 +0200] rev 60525
push Proof.context through Derive.steps, note HACK
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 18:00:33 +0200] rev 60524
push Proof.context through Error_Pattern.fill_form
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 17:36:59 +0200] rev 60523
push Proof.context through Error_Pattern.check_for
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 15:57:46 +0200] rev 60522
review TODO.md: eliminate get_thes is easier than anticipated
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 15:02:55 +0200] rev 60521
eliminate union_overwrite and use standard namespace merge
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 10:45:24 +0200] rev 60520
reorder TODO.md priorities
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 12:30:16 +0200] rev 60519
push Proof.context through Eval.adhoc_thm
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 11:41:06 +0200] rev 60518
improve error-msg of Problem.from_store, MethodC.from_store
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 11:38:10 +0200] rev 60517
improve error-msg of Problem.from_store, MethodC.from_store