wneuper <Walther.Neuper@jku.at> [Thu, 07 Dec 2023 16:14:32 +0100] rev 60774
prepare 3: Tactic.T with I_Model.T_POS
wneuper <Walther.Neuper@jku.at> [Thu, 07 Dec 2023 11:54:42 +0100] rev 60773
prepare 2: p-spec.sml in Specify/ with I_Model.T_POS
wneuper <Walther.Neuper@jku.at> [Tue, 05 Dec 2023 18:15:45 +0100] rev 60772
prepare 1: towards I_Model.T_POS in Specify/ (and no I_Model.T)
wneuper <Walther.Neuper@jku.at> [Fri, 01 Dec 2023 06:08:22 +0100] rev 60771
PIDE turn 13: rename ALL(?) code already handling Position.T from *_TEST to *_POS
Note: after switching all src to Position.T *_POS shall be cut of identifiers.
wneuper <Walther.Neuper@jku.at> [Fri, 01 Dec 2023 05:51:18 +0100] rev 60770
prepare 16: adapt Refine to variants
wneuper <Walther.Neuper@jku.at> [Thu, 30 Nov 2023 08:11:50 +0100] rev 60769
some renamings
wneuper <Walther.Neuper@jku.at> [Wed, 29 Nov 2023 07:51:28 +0100] rev 60768
prepare 15: adapt M_Match.by_o_model to varaints
wneuper <Walther.Neuper@jku.at> [Sat, 25 Nov 2023 15:33:14 +0100] rev 60767
followup 4: cleanup new code
wneuper <Walther.Neuper@jku.at> [Fri, 24 Nov 2023 15:34:07 +0100] rev 60766
followup 3: repair new fill_from_o, uncomment maximum of tests
wneuper <Walther.Neuper@jku.at> [Mon, 20 Nov 2023 10:49:54 +0100] rev 60765
followup 2: un-comment / investigate tests, part.review TODO.md