wneuper <Walther.Neuper@jku.at> [Tue, 03 Oct 2023 16:33:54 +0200] rev 60759
umpdate TODO.md
wneuper <Walther.Neuper@jku.at> [Tue, 03 Oct 2023 16:31:59 +0200] rev 60758
prepare 11: eliminate intermediate I_Model.of_max_variant
wneuper <Walther.Neuper@jku.at> [Mon, 02 Oct 2023 15:39:22 +0200] rev 60757
prepare 11: clean up new code 1
wneuper <Walther.Neuper@jku.at> [Mon, 02 Oct 2023 12:02:59 +0200] rev 60756
prepare 10: check completeness of Specification regards variants and Position.T
wneuper <Walther.Neuper@jku.at> [Wed, 27 Sep 2023 12:17:44 +0200] rev 60755
prepare 9: I_Model.complete* all replaced by I_Model.s_make_complete
wneuper <Walther.Neuper@jku.at> [Tue, 26 Sep 2023 15:57:12 +0200] rev 60754
rollback
wneuper <Walther.Neuper@jku.at> [Mon, 25 Sep 2023 08:39:43 +0200] rev 60753
prepare 8: replace complete_Method by general I_Model.s_make_complete
wneuper <Walther.Neuper@jku.at> [Sun, 24 Sep 2023 20:04:41 +0200] rev 60752
rollback
wneuper <Walther.Neuper@jku.at> [Wed, 20 Sep 2023 16:51:08 +0200] rev 60751
prepare 7: separate test for I_Model.s_make_complete
wneuper <Walther.Neuper@jku.at> [Wed, 20 Sep 2023 11:30:50 +0200] rev 60750
prepare 6: I_Model.T(*_TEST*) towards final shape