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
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 08:45:37 +0200] rev 60516
finish Calc_Binop, add signature EXAMPLE
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 16:48:37 +0200] rev 60515
add structure Calc_Binop
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 15:38:42 +0200] rev 60514
cleanup
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 15:25:44 +0200] rev 60513
tuned
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 15:24:58 +0200] rev 60512
review TODO.md, group items, make priority lists
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 14:18:35 +0200] rev 60511
Unchronized.ref are all eliminated by cf. b125dcf14489
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 12:50:19 +0200] rev 60510
cleanup Example.id
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 12:48:37 +0200] rev 60509
polish naming in Rewrite_Order