| 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
|
| Tue, 21 Apr 2020 11:28:20 +0200 |
Walther Neuper |
CAS_Cmd appears independent from CAS_Def (required for Know_Store)
|
changeset |
files
|
| Tue, 21 Apr 2020 10:53:04 +0200 |
Walther Neuper |
derive Method.T from Meth_Def.T, drop funs and types used by Know_Store
|
changeset |
files
|
| Tue, 21 Apr 2020 10:13:30 +0200 |
Walther Neuper |
derive Problem from Probl_Def, drop funs and types used by Know_Store
|
changeset |
files
|
| Mon, 20 Apr 2020 16:47:01 +0200 |
Walther Neuper |
rename remaining struct.s Celem5..Celem8
|
changeset |
files
|
| Mon, 20 Apr 2020 15:54:19 +0200 |
Walther Neuper |
separate Check_Unique, an exercise in higher order funs
|
changeset |
files
|
| Sun, 19 Apr 2020 16:43:53 +0200 |
Walther Neuper |
proper names for Celem1, Celem3
|
changeset |
files
|
| Sun, 19 Apr 2020 16:17:27 +0200 |
Walther Neuper |
rename Celem1 to Store
|
changeset |
files
|
| Sun, 19 Apr 2020 15:51:31 +0200 |
Walther Neuper |
run Know_Store independent from Celem. in calcelements.sml
|
changeset |
files
|
| Sun, 19 Apr 2020 15:37:39 +0200 |
Walther Neuper |
run Know_Store with Celem1..91 via Celem in calcelements.sml
|
changeset |
files
|
| Sun, 19 Apr 2020 12:22:37 +0200 |
Walther Neuper |
rename KEStore to Know_Store, replace respect.part of Celem with Celem1
|
changeset |
files
|
| Sun, 19 Apr 2020 11:07:02 +0200 |
Walther Neuper |
switch "activate for Test_Isac .." back to Build_Isac
|
changeset |
files
|
| Fri, 17 Apr 2020 18:47:29 +0200 |
Walther Neuper |
Test_Isac_Short OK (except the 2 strange errors)
|
changeset |
files
|
| Fri, 17 Apr 2020 18:40:14 +0200 |
Walther Neuper |
struct.Celem is taken apart in preliminary struct.s
|
changeset |
files
|
| Fri, 17 Apr 2020 15:19:02 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Fri, 17 Apr 2020 15:12:19 +0200 |
Walther Neuper |
prep. take apart struct.Celem
|
changeset |
files
|
| Wed, 15 Apr 2020 18:00:58 +0200 |
Walther Neuper |
collect code in ThyC
|
changeset |
files
|
| Wed, 15 Apr 2020 16:46:41 +0200 |
Walther Neuper |
use "ThyC" for renaming identifiers finished, cleanup
|
changeset |
files
|
| Wed, 15 Apr 2020 13:47:56 +0200 |
Walther Neuper |
use "ThyC" for renaming identifiers
|
changeset |
files
|
| Wed, 15 Apr 2020 11:37:43 +0200 |
Walther Neuper |
cleanup
|
changeset |
files
|