Mon, 11 Dec 2023 09:24:02 +0100 | prepare 1: delete old code with I_Model.T (without Position.T) | file | diff | annotate |
Sun, 10 Dec 2023 17:35:07 +0100 | PIDE turn 14: ALL src/* (except Ctree) with I_Model.T_POS exclusively | file | diff | annotate |
Thu, 07 Dec 2023 11:54:42 +0100 | prepare 2: p-spec.sml in Specify/ with I_Model.T_POS | file | diff | annotate |
Fri, 01 Dec 2023 06:08:22 +0100 | PIDE turn 13: rename ALL(?) code already handling Position.T from *_TEST to *_POS | file | diff | annotate |
Fri, 24 Nov 2023 15:34:07 +0100 | followup 3: repair new fill_from_o, uncomment maximum of tests | file | diff | annotate |
Thu, 16 Nov 2023 08:15:46 +0100 | prepare 14: improved item_to_add | file | diff | annotate |