wneuper <Walther.Neuper@jku.at> [Thu, 20 Oct 2022 10:47:52 +0200] rev 60572
cleanup: Test_Isac works perfectly
wneuper <Walther.Neuper@jku.at> [Thu, 20 Oct 2022 10:23:38 +0200] rev 60571
followup 6a: tests run from @{context} without sessions
wneuper <Walther.Neuper@jku.at> [Wed, 19 Oct 2022 15:39:15 +0200] rev 60570
cleanup 1: clarify adapt_to_type finished
wneuper <Walther.Neuper@jku.at> [Wed, 19 Oct 2022 14:23:40 +0200] rev 60569
Test_Isac works -- hg rollback
wneuper <Walther.Neuper@jku.at> [Wed, 19 Oct 2022 13:10:24 +0200] rev 60568
cleanup 1: clarify adapt_to_type for Prog_Tac
wneuper <Walther.Neuper@jku.at> [Wed, 19 Oct 2022 10:43:04 +0200] rev 60567
eliminate term2str in src, Prog_Tac.*_adapt_to_type
wneuper <Walther.Neuper@jku.at> [Sun, 09 Oct 2022 09:01:29 +0200] rev 60566
eliminate term2str in doc-isac
wneuper <Walther.Neuper@jku.at> [Sun, 09 Oct 2022 07:44:22 +0200] rev 60565
eliminate term2str in test/*
wneuper <Walther.Neuper@jku.at> [Sun, 09 Oct 2022 06:53:03 +0200] rev 60564
plan for different parse in src/* and test/*
wneuper <Walther.Neuper@jku.at> [Sat, 08 Oct 2022 19:17:24 +0200] rev 60563
follow up 5d: Error_Pattern.fill_in also included to adapt_to_type