wneuper <Walther.Neuper@jku.at> [Mon, 11 Dec 2023 09:24:02 +0100] rev 60778
prepare 1: delete old code with I_Model.T (without Position.T)
wneuper <Walther.Neuper@jku.at> [Sun, 10 Dec 2023 17:35:07 +0100] rev 60777
PIDE turn 14: ALL src/* (except Ctree) with I_Model.T_POS exclusively
wneuper <Walther.Neuper@jku.at> [Sun, 10 Dec 2023 07:56:02 +0100] rev 60776
prepare 5: whole directory Specify/* with I_Model.T_POS exclusively
wneuper <Walther.Neuper@jku.at> [Thu, 07 Dec 2023 17:16:22 +0100] rev 60775
prepare 4: refine.sml with I_Model.T_POS exclusively
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