| Sun, 09 Oct 2022 09:01:29 +0200 |
wneuper |
eliminate term2str in doc-isac
|
changeset |
files
|
| Sun, 09 Oct 2022 07:44:22 +0200 |
wneuper |
eliminate term2str in test/*
|
changeset |
files
|
| Sun, 09 Oct 2022 06:53:03 +0200 |
wneuper |
plan for different parse in src/* and test/*
|
changeset |
files
|
| Sat, 08 Oct 2022 19:17:24 +0200 |
wneuper |
follow up 5d: Error_Pattern.fill_in also included to adapt_to_type
|
changeset |
files
|
| Sat, 08 Oct 2022 15:57:10 +0200 |
wneuper |
follow up 5c: Error_Pattern is covered by MethodC.adapt_to_type
|
changeset |
files
|
| Sat, 08 Oct 2022 15:41:11 +0200 |
wneuper |
more cleanup
|
changeset |
files
|
| Sat, 08 Oct 2022 12:13:13 +0200 |
wneuper |
follow up 5b: more cleanup
|
changeset |
files
|
| Sat, 08 Oct 2022 11:40:48 +0200 |
wneuper |
follow up 5: cleanup
|
changeset |
files
|
| Fri, 07 Oct 2022 20:46:48 +0200 |
wneuper |
follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
changeset |
files
|
| Thu, 29 Sep 2022 18:02:10 +0200 |
wneuper |
build clean -- rollback
|
changeset |
files
|
| Mon, 26 Sep 2022 10:57:53 +0200 |
wneuper |
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
changeset |
files
|
| Fri, 16 Sep 2022 12:13:23 +0200 |
wneuper |
follow up 1a: restrict concept to adaptation of types within pre-compiled terms
|
changeset |
files
|
| Thu, 15 Sep 2022 10:07:12 +0200 |
wneuper |
follow up meeting Makarius 1: new concept of parsing within current ?ML_structure Context?
|
changeset |
files
|
| Wed, 14 Sep 2022 11:33:10 +0200 |
wneuper |
uniform "_PIDE" for functions intermediate in Isabelle/Isac
|
changeset |
files
|
| Tue, 13 Sep 2022 10:28:04 +0200 |
wneuper |
adaptation to mail
|
changeset |
files
|
| Mon, 12 Sep 2022 18:02:44 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 2: get_cas 2: cleanup finished
|
changeset |
files
|
| Mon, 12 Sep 2022 17:46:32 +0200 |
wneuper |
eliminate KEStore_Elems.get_thes, add_thes 2: get_cas 1: Test_Isac ok
|
changeset |
files
|
| Sun, 11 Sep 2022 14:31:15 +0200 |
wneuper |
resolve name clash in get_calc
|
changeset |
files
|
| 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
|