| 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 |
| Sat, 02 May 2020 16:34:42 +0200 | Walther Neuper | Solve_Check: postpone parsing input to _ option | changeset | files |
| Sat, 02 May 2020 15:41:27 +0200 | Walther Neuper | simplify Solve_Step.check, remove CAScmd (is not a tactic) | changeset | files |
| Sat, 02 May 2020 12:13:20 +0200 | Walther Neuper | remove unused tactics, finish | changeset | files |
| Sat, 02 May 2020 11:36:13 +0200 | Walther Neuper | remove Init_Proof, is NOT a tactic | changeset | files |
| Sat, 02 May 2020 10:57:04 +0200 | Walther Neuper | remove unused tactics, part 1 | changeset | files |
| Sat, 02 May 2020 09:15:39 +0200 | Walther Neuper | comment tactics in struct. (only) | changeset | files |
| Fri, 01 May 2020 17:17:41 +0200 | Walther Neuper | unify sequence of tactics | changeset | files |
| Fri, 01 May 2020 16:06:59 +0200 | Walther Neuper | separate Specify_Step.check | changeset | files |
| Fri, 01 May 2020 15:28:40 +0200 | Walther Neuper | separate Solve_Step.check, repair ALL of Test_Isac_Short | changeset | files |
| Wed, 29 Apr 2020 12:30:51 +0200 | Walther Neuper | prep. separation of check Applicable between specify-phase and solve-phase | changeset | files |
| Wed, 29 Apr 2020 09:03:01 +0200 | Walther Neuper | comments on relation between files. | changeset | files |
| Tue, 28 Apr 2020 19:39:06 +0200 | Walther Neuper | move code from struct.Celem to appropriate struct.s | changeset | files |
| Tue, 28 Apr 2020 17:50:18 +0200 | Walther Neuper | separate struct.Thy_Present, rename Thy_Html to Thy_Write | changeset | files |
| Tue, 28 Apr 2020 16:51:36 +0200 | Walther Neuper | separate struct.Thy_Read | changeset | files |
| Tue, 28 Apr 2020 15:44:59 +0200 | Walther Neuper | cleanup ThmC | changeset | files |
| Tue, 28 Apr 2020 15:31:49 +0200 | Walther Neuper | assign code from Rtools to appropriate struct.s | changeset | files |
| Mon, 27 Apr 2020 16:40:11 +0200 | Walther Neuper | tuned | changeset | files |
| Mon, 27 Apr 2020 16:37:56 +0200 | Walther Neuper | clarify types of Subst | changeset | files |
| Mon, 27 Apr 2020 12:36:21 +0200 | Walther Neuper | separate struct.Subst, rename idenfitiers | changeset | files |
| Fri, 24 Apr 2020 09:01:48 +0200 | Walther Neuper | tuned | changeset | files |
| Fri, 24 Apr 2020 08:51:05 +0200 | Walther Neuper | separate struct.Error_Pattern, rename identifiers | changeset | files |
| Thu, 23 Apr 2020 15:48:31 +0200 | Walther Neuper | separate struct.State_Steps, rename | changeset | files |
| Thu, 23 Apr 2020 12:34:54 +0200 | Walther Neuper | use "Derive" for renaming identifiers | changeset | files |
| Thu, 23 Apr 2020 09:29:56 +0200 | Walther Neuper | separate struct. Derive | changeset | files |
| Wed, 22 Apr 2020 16:53:03 +0200 | Walther Neuper | cleanup Celem | changeset | files |
| Wed, 22 Apr 2020 16:01:53 +0200 | Walther Neuper | use "Check_Unique" for renaming identifiers | changeset | files |
| Wed, 22 Apr 2020 14:36:27 +0200 | Walther Neuper | use "Spec", "Problem", "Method" for renaming identifiers | changeset | files |
| Wed, 22 Apr 2020 11:23:30 +0200 | Walther Neuper | rename file according to struct.; start renaming with "Spec" | changeset | files |
| Wed, 22 Apr 2020 11:06:48 +0200 | Walther Neuper | shift Unsynchronized.ref for tracing to respect.struct. | changeset | files |
| Tue, 21 Apr 2020 16:53:17 +0200 | Walther Neuper | Test_Isac_Short now ok. | changeset | files |
| Tue, 21 Apr 2020 16:16:11 +0200 | Walther Neuper | remove unused code from Celem | changeset | files |
| Tue, 21 Apr 2020 15:42:50 +0200 | Walther Neuper | replace Celem. with new struct.s in BaseDefinitions/ | changeset | files |
| Tue, 21 Apr 2020 12:26:08 +0200 | Walther Neuper | use "Store" for renaming identifiers | changeset | files |