wneuper <Walther.Neuper@jku.at> [Sun, 21 Aug 2022 11:22:04 +0200] rev 60530
//prepare test 3 for: push ctxt through LI (only CAS_Cmd not OK)
wneuper <Walther.Neuper@jku.at> [Tue, 16 Aug 2022 15:53:20 +0200] rev 60529
prepare test 2 for: push ctxt through LI
wneuper <Walther.Neuper@jku.at> [Tue, 16 Aug 2022 14:47:05 +0200] rev 60528
prepare test 1 for: push ctxt through LI; no relevant calls found.
wneuper <Walther.Neuper@jku.at> [Tue, 16 Aug 2022 12:21:21 +0200] rev 60527
prepare src for: push ctxt throught Lucas-Interpretation
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