wneuper <Walther.Neuper@jku.at> [Thu, 16 Nov 2023 08:15:46 +0100] rev 60763
prepare 14: improved item_to_add
emergency-CS:
* no code cleanup
* ERROR in test/../biegelinie-3.sml outcommented
wneuper <Walther.Neuper@jku.at> [Sun, 29 Oct 2023 07:14:14 +0100] rev 60762
prepare 13: improved max_variants
wneuper <Walther.Neuper@jku.at> [Thu, 26 Oct 2023 10:29:17 +0200] rev 60761
tuned
wneuper <Walther.Neuper@jku.at> [Wed, 25 Oct 2023 12:34:12 +0200] rev 60760
prepare 12: M_Model.match_itms_oris takes Position.T and new max_mariants
some tests are outcommented until <broken elementwise input to lists> is repaired alltogether
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