Sat, 16 May 2020 14:04:35 +0200 |
shift code (O_Model, M_Match, Model_Pattern)
|
file | diff | annotate |
Sat, 16 May 2020 12:40:09 +0200 |
shift code from Specification to O_Model
|
file | diff | annotate |
Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
Fri, 15 May 2020 11:46:43 +0200 |
shift code from Specification to appropriate locations
|
file | diff | annotate |
Thu, 14 May 2020 16:08:41 +0200 |
shift code Specification --> Calc
|
file | diff | annotate |
Thu, 14 May 2020 13:33:47 +0200 |
rename Specification -> References, contiued
|
file | diff | annotate |
Thu, 14 May 2020 09:30:40 +0200 |
start renaming Specification -> References;
|
file | diff | annotate |
Thu, 14 May 2020 08:49:08 +0200 |
shift 2 preliminary hacks close to usage
|
file | diff | annotate |
Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Tue, 12 May 2020 16:22:00 +0200 |
cleanup struct.O_Model, P_Model
|
file | diff | annotate |
Tue, 12 May 2020 10:14:09 +0200 |
distribute code from old Specify/ptyps.sml
|
file | diff | annotate |
Mon, 11 May 2020 20:49:27 +0200 |
prep. remove Specify/mstools.sml
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Mon, 11 May 2020 11:07:19 +0200 |
separate struct.Refine, Pre_Conds.
|
file | diff | annotate |
Sun, 10 May 2020 15:55:30 +0200 |
collect code for struct.I_Model
|
file | diff | annotate |
Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
Thu, 07 May 2020 12:15:37 +0200 |
remove double code
|
file | diff | annotate |
Tue, 05 May 2020 09:07:36 +0200 |
separate struc.Formalise
|
file | diff | annotate |
Mon, 04 May 2020 16:25:14 +0200 |
shift code specific for specify-phase to Specify/*
|
file | diff | annotate |
Mon, 04 May 2020 10:19:16 +0200 |
spearate Specify_Step.add
|
file | diff | annotate |
Sat, 02 May 2020 17:39:04 +0200 |
prep. new Solve_Step.add
|
file | diff | annotate |
Sat, 02 May 2020 11:36:13 +0200 |
remove Init_Proof, is NOT a tactic
|
file | diff | annotate |
Wed, 22 Apr 2020 14:36:27 +0200 |
use "Spec", "Problem", "Method" for renaming identifiers
|
file | diff | annotate |
Wed, 22 Apr 2020 11:23:30 +0200 |
rename file according to struct.; start renaming with "Spec"
|
file | diff | annotate |
Tue, 21 Apr 2020 15:42:50 +0200 |
replace Celem. with new struct.s in BaseDefinitions/
|
file | diff | annotate |
Sun, 19 Apr 2020 11:07:02 +0200 |
switch "activate for Test_Isac .." back to Build_Isac
|
file | diff | annotate |
Fri, 17 Apr 2020 18:47:29 +0200 |
Test_Isac_Short OK (except the 2 strange errors)
|
file | diff | annotate |
Wed, 15 Apr 2020 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
Wed, 15 Apr 2020 16:46:41 +0200 |
use "ThyC" for renaming identifiers finished, cleanup
|
file | diff | annotate |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
Wed, 08 Apr 2020 14:24:38 +0200 |
separate struct ThyC
|
file | diff | annotate |
Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
Wed, 04 Mar 2020 17:48:37 +0100 |
cleanup ctxt: ctxt_specify goes via cappend_problem
|
file | diff | annotate |
Thu, 20 Feb 2020 18:02:00 +0100 |
prep. cleanup istate/ctxt in Ctree, part 4
|
file | diff | annotate |
Thu, 20 Feb 2020 17:09:24 +0100 |
prep. cleanup istate/ctxt in Ctree, part 3
|
file | diff | annotate |
Sun, 16 Feb 2020 16:26:05 +0100 |
introduce Step.by_tactic, part 3, finished, Test_Isac_Short OK
|
file | diff | annotate |
Fri, 07 Feb 2020 12:36:08 +0100 |
LI: rename Lucin to LI
|
file | diff | annotate |
Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
Fri, 17 Jan 2020 14:10:10 +0100 |
tuned
|
file | diff | annotate |
Mon, 23 Dec 2019 15:41:36 +0100 |
separate Step_Specify, Step_Solve, Step for do_next and by_tactic
|
file | diff | annotate |
Sat, 21 Dec 2019 18:05:13 +0100 |
lucin: unify do_next postponed
|
file | diff | annotate |
Thu, 19 Dec 2019 12:40:17 +0100 |
lucin: various investigations (a chaos change set)
|
file | diff | annotate |
Wed, 18 Dec 2019 15:33:27 +0100 |
prep. intro. of Step
|
file | diff | annotate |