wneuper <Walther.Neuper@jku.at> [Sat, 08 Oct 2022 11:40:48 +0200] rev 60559
follow up 5: cleanup
wneuper <Walther.Neuper@jku.at> [Fri, 07 Oct 2022 20:46:48 +0200] rev 60558
follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
wneuper <Walther.Neuper@jku.at> [Thu, 29 Sep 2022 18:02:10 +0200] rev 60557
build clean -- rollback
wneuper <Walther.Neuper@jku.at> [Mon, 26 Sep 2022 10:57:53 +0200] rev 60556
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
wneuper <Walther.Neuper@jku.at> [Fri, 16 Sep 2022 12:13:23 +0200] rev 60555
follow up 1a: restrict concept to adaptation of types within pre-compiled terms
wneuper <Walther.Neuper@jku.at> [Thu, 15 Sep 2022 10:07:12 +0200] rev 60554
follow up meeting Makarius 1: new concept of parsing within current ?ML_structure Context?
wneuper <Walther.Neuper@jku.at> [Wed, 14 Sep 2022 11:33:10 +0200] rev 60553
uniform "_PIDE" for functions intermediate in Isabelle/Isac
wneuper <Walther.Neuper@jku.at> [Tue, 13 Sep 2022 10:28:04 +0200] rev 60552
adaptation to mail
wneuper <Walther.Neuper@jku.at> [Mon, 12 Sep 2022 18:02:44 +0200] rev 60551
eliminate KEStore_Elems.get_thes, add_thes 2: get_cas 2: cleanup finished
wneuper <Walther.Neuper@jku.at> [Mon, 12 Sep 2022 17:46:32 +0200] rev 60550
eliminate KEStore_Elems.get_thes, add_thes 2: get_cas 1: Test_Isac ok