Fri, 09 Sep 2022 10:53:51 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 2: get_rew_ord finished
|
changeset |
files
|
Fri, 09 Sep 2022 10:15:28 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 2: get_rew_ord, get_calc, get_cas
|
changeset |
files
|
Wed, 07 Sep 2022 15:06:50 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 4: cleanup
|
changeset |
files
|
Wed, 07 Sep 2022 15:01:17 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 3: cleanup
|
changeset |
files
|
Wed, 07 Sep 2022 14:51:58 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 2: shift parent_node
|
changeset |
files
|
Wed, 07 Sep 2022 10:58:12 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 1
|
changeset |
files
|
Tue, 06 Sep 2022 11:47:00 +0200 |
wneuper |
prepare elimination of KEStore_Elems.get_thes, add_thes
|
changeset |
files
|
Wed, 24 Aug 2022 19:15:06 +0200 |
wneuper |
cleanup Rule_Def and Eval_Def
|
changeset |
files
|
Wed, 24 Aug 2022 19:12:17 +0200 |
wneuper |
cleanup Rule_Def and Eval_Def
|
changeset |
files
|
Wed, 24 Aug 2022 19:02:19 +0200 |
wneuper |
use Eval.* instead of Eval_Def.* wherever possible
|
changeset |
files
|
Wed, 24 Aug 2022 18:29:33 +0200 |
wneuper |
polish naming in structure Eval
|
changeset |
files
|
Wed, 24 Aug 2022 17:21:14 +0200 |
wneuper |
polish naming in Rule_Def for Eval
|
changeset |
files
|
Wed, 24 Aug 2022 12:37:07 +0200 |
wneuper |
eliminate SPARK; as an example replaced by Outer_Syntax.command..problem
|
changeset |
files
|
Tue, 23 Aug 2022 18:05:08 +0200 |
wneuper |
note name-polishing required
|
changeset |
files
|
Mon, 22 Aug 2022 13:39:32 +0200 |
wneuper |
push ctxt through LI (Lucas-Interpreter)
|
changeset |
files
|
Mon, 22 Aug 2022 11:26:20 +0200 |
wneuper |
cleanup test for: push ctxt through LI
|
changeset |
files
|
Sun, 21 Aug 2022 16:20:48 +0200 |
wneuper |
reminder of userrequirement "start Calculation with CAS_Cmd"
|
changeset |
files
|
Sun, 21 Aug 2022 16:14:45 +0200 |
wneuper |
prepare test 4 for: push ctxt through LI
|
changeset |
files
|
Sun, 21 Aug 2022 11:22:04 +0200 |
wneuper |
//prepare test 3 for: push ctxt through LI (only CAS_Cmd not OK)
|
changeset |
files
|
Tue, 16 Aug 2022 15:53:20 +0200 |
wneuper |
prepare test 2 for: push ctxt through LI
|
changeset |
files
|
Tue, 16 Aug 2022 14:47:05 +0200 |
wneuper |
prepare test 1 for: push ctxt through LI; no relevant calls found.
|
changeset |
files
|
Tue, 16 Aug 2022 12:21:21 +0200 |
wneuper |
prepare src for: push ctxt throught Lucas-Interpretation
|
changeset |
files
|
Sat, 06 Aug 2022 19:05:33 +0200 |
wneuper |
push Proof.context through Fetch_Tacs.specific_from_prog
|
changeset |
files
|
Sat, 06 Aug 2022 18:50:43 +0200 |
wneuper |
push Proof.context through Derive.steps, note HACK
|
changeset |
files
|
Sat, 06 Aug 2022 18:00:33 +0200 |
wneuper |
push Proof.context through Error_Pattern.fill_form
|
changeset |
files
|
Sat, 06 Aug 2022 17:36:59 +0200 |
wneuper |
push Proof.context through Error_Pattern.check_for
|
changeset |
files
|
Sat, 06 Aug 2022 15:57:46 +0200 |
wneuper |
review TODO.md: eliminate get_thes is easier than anticipated
|
changeset |
files
|
Sat, 06 Aug 2022 15:02:55 +0200 |
wneuper |
eliminate union_overwrite and use standard namespace merge
|
changeset |
files
|
Sat, 06 Aug 2022 10:45:24 +0200 |
wneuper |
reorder TODO.md priorities
|
changeset |
files
|
Fri, 05 Aug 2022 12:30:16 +0200 |
wneuper |
push Proof.context through Eval.adhoc_thm
|
changeset |
files
|
Fri, 05 Aug 2022 11:41:06 +0200 |
wneuper |
improve error-msg of Problem.from_store, MethodC.from_store
|
changeset |
files
|
Fri, 05 Aug 2022 11:38:10 +0200 |
wneuper |
improve error-msg of Problem.from_store, MethodC.from_store
|
changeset |
files
|
Fri, 05 Aug 2022 08:45:37 +0200 |
wneuper |
finish Calc_Binop, add signature EXAMPLE
|
changeset |
files
|
Thu, 04 Aug 2022 16:48:37 +0200 |
wneuper |
add structure Calc_Binop
|
changeset |
files
|
Thu, 04 Aug 2022 15:38:42 +0200 |
wneuper |
cleanup
|
changeset |
files
|
Thu, 04 Aug 2022 15:25:44 +0200 |
wneuper |
tuned
|
changeset |
files
|
Thu, 04 Aug 2022 15:24:58 +0200 |
wneuper |
review TODO.md, group items, make priority lists
|
changeset |
files
|
Thu, 04 Aug 2022 14:18:35 +0200 |
wneuper |
Unchronized.ref are all eliminated by cf. b125dcf14489
|
changeset |
files
|
Thu, 04 Aug 2022 12:50:19 +0200 |
wneuper |
cleanup Example.id
|
changeset |
files
|
Thu, 04 Aug 2022 12:48:37 +0200 |
wneuper |
polish naming in Rewrite_Order
|
changeset |
files
|
Wed, 03 Aug 2022 18:17:27 +0200 |
wneuper |
cleanup
|
changeset |
files
|
Wed, 03 Aug 2022 18:06:02 +0200 |
wneuper |
eliminate global flags in GCD_Poly_ML, the last Unchronized.ref in isac
|
changeset |
files
|
Wed, 03 Aug 2022 17:18:47 +0200 |
wneuper |
replace val rew_ord' = Unsynchronized.ref by Theory_Data
|
changeset |
files
|
Wed, 03 Aug 2022 13:22:36 +0200 |
wneuper |
replace val example_store = Unsynchronized.ref by Thy_Data
|
changeset |
files
|
Sun, 31 Jul 2022 16:35:33 +0200 |
wneuper |
eliminate global flag Eval.trace_on
|
changeset |
files
|
Sun, 31 Jul 2022 13:45:20 +0200 |
wneuper |
eliminate global flags of Check_Unique, LI_Tool
|
changeset |
files
|
Sun, 31 Jul 2022 13:23:38 +0200 |
wneuper |
eliminate global flag Check_Unique.on
|
changeset |
files
|
Sun, 31 Jul 2022 12:39:07 +0200 |
wneuper |
eliminate global flags of Rewrite.*
|
changeset |
files
|
Sat, 30 Jul 2022 16:47:45 +0200 |
wneuper |
eliminate global flag Rewrite.trace_on
|
changeset |
files
|
Thu, 28 Jul 2022 11:43:27 +0200 |
wneuper |
trial on "empty" Example
|
changeset |
files
|
Thu, 28 Jul 2022 11:30:53 +0200 |
wneuper |
pull dropping Problem through, cf. bdca979414b0
|
changeset |
files
|
Wed, 27 Jul 2022 14:14:16 +0200 |
wneuper |
polish naming
|
changeset |
files
|
Wed, 27 Jul 2022 14:04:04 +0200 |
wneuper |
tuned
|
changeset |
files
|
Wed, 27 Jul 2022 13:59:58 +0200 |
wneuper |
polish naming
|
changeset |
files
|
Wed, 27 Jul 2022 13:11:43 +0200 |
wneuper |
polish naming
|
changeset |
files
|
Tue, 26 Jul 2022 22:29:35 +0200 |
wneuper |
cleanup after trials on stepwise input to Example
|
changeset |
files
|
Tue, 26 Jul 2022 22:11:41 +0200 |
wneuper |
questions about parsing in Outer_Syntax.command?Example?
|
changeset |
files
|
Tue, 26 Jul 2022 22:01:40 +0200 |
wneuper |
test for stepwise input to ?Example?
|
changeset |
files
|
Tue, 26 Jul 2022 21:29:14 +0200 |
wneuper |
remove ?Problem? from ?Example? avoids redundancy
|
changeset |
files
|
Tue, 26 Jul 2022 19:29:09 +0200 |
wneuper |
prepare stepwise input to Example (1)
|
changeset |
files
|