| Sat, 16 May 2020 16:54:39 +0200 | Walther Neuper | shift code from Specification to P_Model, rename ids | changeset | files |
| Sat, 16 May 2020 16:23:24 +0200 | Walther Neuper | shift code from Specification to I_Model, rename ids | changeset | files |
| Sat, 16 May 2020 14:04:35 +0200 | Walther Neuper | shift code (O_Model, M_Match, Model_Pattern) | changeset | files |
| Sat, 16 May 2020 12:40:09 +0200 | Walther Neuper | shift code from Specification to O_Model | changeset | files |
| Fri, 15 May 2020 19:31:04 +0200 | Walther Neuper | shift code from Specification to References, separate References_Def | changeset | files |
| Fri, 15 May 2020 14:22:05 +0200 | Walther Neuper | prep. cleanup of Specification | changeset | files |
| Fri, 15 May 2020 11:46:43 +0200 | Walther Neuper | shift code from Specification to appropriate locations | changeset | files |
| Thu, 14 May 2020 16:58:33 +0200 | Walther Neuper | shift code from P_Specific --> CAS_Cmd | changeset | files |
| Thu, 14 May 2020 16:08:41 +0200 | Walther Neuper | shift code Specification --> Calc | changeset | files |
| Thu, 14 May 2020 15:06:18 +0200 | Walther Neuper | Test_Isac_Short works with P_Specific | changeset | files |
| Thu, 14 May 2020 14:49:13 +0200 | Walther Neuper | analogous naming P_Specific .. P_Model | changeset | files |
| Thu, 14 May 2020 13:48:45 +0200 | Walther Neuper | rename to Specification, contiued | changeset | files |
| Thu, 14 May 2020 13:33:47 +0200 | Walther Neuper | rename Specification -> References, contiued | changeset | files |
| Thu, 14 May 2020 09:30:40 +0200 | Walther Neuper | start renaming Specification -> References; | changeset | files |
| Thu, 14 May 2020 08:49:08 +0200 | Walther Neuper | shift 2 preliminary hacks close to usage | changeset | files |
| Wed, 13 May 2020 18:16:35 +0200 | Walther Neuper | shift code from Specify to Ptool; Specify is ready to be re-filled | changeset | files |
| Wed, 13 May 2020 16:10:22 +0200 | Walther Neuper | shift code from Specify to Problem, Method, Test_Tool | changeset | files |
| Wed, 13 May 2020 12:14:49 +0200 | Walther Neuper | Test_Isac_Short repaired | changeset | files |
| Wed, 13 May 2020 11:34:05 +0200 | Walther Neuper | shift code from struct.Specify to appropriate locations | changeset | files |
| Tue, 12 May 2020 17:42:29 +0200 | Walther Neuper | shift code from struct.Specify to appropriate locations | changeset | files |
| Tue, 12 May 2020 16:22:00 +0200 | Walther Neuper | cleanup struct.O_Model, P_Model | changeset | files |
| Tue, 12 May 2020 10:14:09 +0200 | Walther Neuper | distribute code from old Specify/ptyps.sml | changeset | files |
| Tue, 12 May 2020 07:27:21 +0200 | Walther Neuper | remove Specify/mstools.sml | changeset | files |
| Tue, 12 May 2020 06:37:04 +0200 | Walther Neuper | --- we manually open (min.4) imports in Test_Isac_Short.thy | changeset | files |
| Mon, 11 May 2020 20:49:27 +0200 | Walther Neuper | prep. remove Specify/mstools.sml | changeset | files |
| Mon, 11 May 2020 18:06:24 +0200 | Walther Neuper | strange ERROR in imports of Test_Isac_Short.thy | changeset | files |
| Mon, 11 May 2020 12:25:52 +0200 | Walther Neuper | introduce Pre_Conds.T | changeset | files |
| Mon, 11 May 2020 11:38:52 +0200 | Walther Neuper | error -> raise ERROR | changeset | files |
| Mon, 11 May 2020 11:22:46 +0200 | Walther Neuper | cover types from struct. *_Def | changeset | files |
| Mon, 11 May 2020 11:07:19 +0200 | Walther Neuper | separate struct.Refine, Pre_Conds. | changeset | files |
| Sun, 10 May 2020 17:26:36 +0200 | Walther Neuper | cleanup generate.sml, model.sml | changeset | files |
| Sun, 10 May 2020 15:55:30 +0200 | Walther Neuper | collect code for struct.I_Model | changeset | files |
| Sun, 10 May 2020 13:16:56 +0200 | Walther Neuper | investigate I_Model | changeset | files |
| Sat, 09 May 2020 15:31:15 +0200 | Walther Neuper | collect code for I_Model.add_single | changeset | files |
| Sat, 09 May 2020 13:15:25 +0200 | Walther Neuper | tuned | changeset | files |
| Sat, 09 May 2020 12:00:11 +0200 | Walther Neuper | cleanup | changeset | files |
| Sat, 09 May 2020 11:55:51 +0200 | Walther Neuper | shift code to Input_Descript, rename identifiers (+ keep old) | changeset | files |
| Fri, 08 May 2020 18:30:21 +0200 | Walther Neuper | cleanup O_Model | changeset | files |
| Fri, 08 May 2020 11:01:11 +0200 | Walther Neuper | tuned | changeset | files |
| Fri, 08 May 2020 11:00:07 +0200 | Walther Neuper | clarify ctxt in specify-phase | changeset | files |
| Thu, 07 May 2020 14:37:25 +0200 | Walther Neuper | unify types (in new code, leave in old) | changeset | files |
| Thu, 07 May 2020 14:20:05 +0200 | Walther Neuper | remove outcommented code | changeset | files |
| Thu, 07 May 2020 14:11:03 +0200 | Walther Neuper | collect code for O_Model (+ old locations) | changeset | files |
| Thu, 07 May 2020 12:15:37 +0200 | Walther Neuper | remove double code | changeset | files |
| Thu, 07 May 2020 11:42:19 +0200 | Walther Neuper | proper naming for Problem_Pattern (+ show old names) | changeset | files |
| Thu, 07 May 2020 11:04:02 +0200 | Walther Neuper | test for O_Model.init (was prep_ori) | changeset | files |
| Tue, 05 May 2020 15:39:20 +0200 | Walther Neuper | assign code struct.O_Model and I_Model, part 2: model.sml is clean | changeset | files |
| Tue, 05 May 2020 13:33:23 +0200 | Walther Neuper | assign code struct.O_Model and I_Model, part 1 | changeset | files |
| Tue, 05 May 2020 09:07:36 +0200 | Walther Neuper | separate struc.Formalise | changeset | files |
| Mon, 04 May 2020 18:47:27 +0200 | Walther Neuper | separate struct O_Model and I_Model, part 2 | changeset | files |
| Mon, 04 May 2020 17:08:32 +0200 | Walther Neuper | separate struct O_Model and I_Model, part 1 | changeset | files |
| Mon, 04 May 2020 16:47:32 +0200 | Walther Neuper | prep.to separate struct O_Model and I_Model | changeset | files |
| Mon, 04 May 2020 16:25:14 +0200 | Walther Neuper | shift code specific for specify-phase to Specify/* | changeset | files |
| Mon, 04 May 2020 13:27:45 +0200 | Walther Neuper | remove unused code | changeset | files |
| Mon, 04 May 2020 12:38:16 +0200 | Walther Neuper | end cleanup Interpret/*, preliminary | changeset | files |
| Mon, 04 May 2020 11:13:16 +0200 | Walther Neuper | cleanup struct.Derive | changeset | files |
| Mon, 04 May 2020 10:19:16 +0200 | Walther Neuper | spearate Specify_Step.add | changeset | files |
| Mon, 04 May 2020 09:25:51 +0200 | Walther Neuper | separate Solve_Step.add, rearrange code, prep. Specify_Step | changeset | files |
| Sat, 02 May 2020 17:39:04 +0200 | Walther Neuper | prep. new Solve_Step.add | changeset | files |
| Sat, 02 May 2020 16:55:14 +0200 | Walther Neuper | simplify Specify_Step.chek | changeset | files |