test/Tools/isac/Specify/pre-conditions.sml
Sun, 27 Aug 2023 16:48:03 +0200 followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)
Fri, 18 Aug 2023 18:51:18 +0200 prepare 16: delete old code 2, shift feedback_to_string Pre_Conds -> I_Model
Thu, 17 Aug 2023 08:01:45 +0200 prepare 15: delete old code 1, repair Pre_Conds.check_envs_TEST and check_pos
Thu, 13 Jul 2023 17:53:58 +0200 repair input-template for type bool
Tue, 20 Jun 2023 06:26:18 +0200 prepare 4: narrow I_Model.T -- _TEST
Fri, 31 Mar 2023 12:07:52 +0200 //new Pre_Conds.check/_TEST breaks tests, need new signature
Tue, 19 May 2020 12:33:35 +0200 adapt test/../Specify/* to new files in src/../Specify/*