wneuper <Walther.Neuper@jku.at> [Wed, 20 Sep 2023 11:30:50 +0200] rev 60750
prepare 6: I_Model.T(*_TEST*) towards final shape
wneuper <Walther.Neuper@jku.at> [Wed, 20 Sep 2023 08:27:21 +0200] rev 60749
prepare 5: improve new code
wneuper <Walther.Neuper@jku.at> [Mon, 18 Sep 2023 10:26:35 +0200] rev 60748
prepare 4: shift new code (previous CS was: intermediate I_Model.complete_method)
wneuper <Walther.Neuper@jku.at> [Mon, 18 Sep 2023 08:38:33 +0200] rev 60747
prepare 3: shift new code
wneuper <Walther.Neuper@jku.at> [Wed, 30 Aug 2023 06:37:56 +0200] rev 60746
prepare 2: I_Model.of_max_variant ready for use in I_Model.complete
wneuper <Walther.Neuper@jku.at> [Tue, 29 Aug 2023 09:04:36 +0200] rev 60745
prepare 1 (for PIDE turn 12)
wneuper <Walther.Neuper@jku.at> [Tue, 29 Aug 2023 08:35:46 +0200] rev 60744
followup 4: delete old code
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 17:56:50 +0200] rev 60743
update TODO.md
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 17:47:56 +0200] rev 60742
rename Refine.*
wneuper <Walther.Neuper@jku.at> [Sun, 27 Aug 2023 16:48:03 +0200] rev 60741
followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)