| Mon, 11 Dec 2023 17:26:30 +0100 |
eliminate the intermediate *_POS
|
file | diff | annotate |
| Sun, 10 Dec 2023 07:56:02 +0100 |
prepare 5: whole directory Specify/* with I_Model.T_POS exclusively
|
file | diff | annotate |
| Thu, 07 Dec 2023 11:54:42 +0100 |
prepare 2: p-spec.sml in Specify/ with I_Model.T_POS
|
file | diff | annotate |
| Tue, 05 Dec 2023 18:15:45 +0100 |
prepare 1: towards I_Model.T_POS in Specify/ (and no I_Model.T)
|
file | diff | annotate |
| Fri, 01 Dec 2023 06:08:22 +0100 |
PIDE turn 13: rename ALL(?) code already handling Position.T from *_TEST to *_POS
|
file | diff | annotate |
| Wed, 29 Nov 2023 07:51:28 +0100 |
prepare 15: adapt M_Match.by_o_model to varaints
|
file | diff | annotate |
| Sat, 25 Nov 2023 15:33:14 +0100 |
followup 4: cleanup new code
|
file | diff | annotate |
| Fri, 24 Nov 2023 15:34:07 +0100 |
followup 3: repair new fill_from_o, uncomment maximum of tests
|
file | diff | annotate |
| Mon, 02 Oct 2023 15:39:22 +0200 |
prepare 11: clean up new code 1
|
file | diff | annotate |
| Wed, 27 Sep 2023 12:17:44 +0200 |
prepare 9: I_Model.complete* all replaced by I_Model.s_make_complete
|
file | diff | annotate |
| Tue, 26 Sep 2023 15:57:12 +0200 |
rollback
|
file | diff | annotate |
| Mon, 18 Sep 2023 08:38:33 +0200 |
prepare 3: shift new code
|
file | diff | annotate |
| Tue, 29 Aug 2023 08:35:46 +0200 |
followup 4: delete old code
|
file | diff | annotate |
| Sun, 27 Aug 2023 16:48:03 +0200 |
followup 3: rename Pre_Conds.* and I_Model.* (eliminate *_TEST as much as possible)
|
file | diff | annotate |
| Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
file | diff | annotate |
| Sat, 29 Apr 2023 16:47:59 +0200 |
prepare 1 PIDE turn 11: eliminate P_Spec.parseitm used by I_Model.Par
|
file | diff | annotate |
| Sat, 29 Apr 2023 15:53:37 +0200 |
add missing I_Model.OLD_to_TEST to sig
|
file | diff | annotate |
| Tue, 07 Feb 2023 17:25:09 +0100 |
eliminate use of Thy_Info 23: ThyC.get_theory ctxt is mandadory
|
file | diff | annotate |
| Sat, 04 Feb 2023 17:00:25 +0100 |
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
|
file | diff | annotate |
| Sat, 04 Feb 2023 16:49:08 +0100 |
rollback
|
file | diff | annotate |
| Sat, 04 Feb 2023 16:20:45 +0100 |
eliminate use of Thy_Info 21: replace Unparse.term, TermC.unparse_ERROR for far off ctxt
|
file | diff | annotate |
| Tue, 31 Jan 2023 11:23:16 +0100 |
cleanup parse #7: eliminate TermC.parseNEW*; cleanup finished
|
file | diff | annotate |
| Tue, 31 Jan 2023 10:49:17 +0100 |
cleanup parse #6: eliminate TermC.parseNEW
|
file | diff | annotate |
| Mon, 30 Jan 2023 12:11:40 +0100 |
cleanup parse #4: eliminate TermC.parse
|
file | diff | annotate |
| Wed, 25 Jan 2023 18:35:02 +0100 |
use exclusively new O_Model.init
|
file | diff | annotate |
| Wed, 11 Jan 2023 09:23:18 +0100 |
eliminate use of Thy_Info 12: prep.arg. ctxt in TermC, UnparseC
|
file | diff | annotate |
| Thu, 10 Nov 2022 14:25:38 +0100 |
make Minisubplb/200-start-method independent from Thy_Info #1
|
file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
| Mon, 31 Oct 2022 18:28:36 +0100 |
rename fields in Probl_Def.T
|
file | diff | annotate |
| Wed, 19 Oct 2022 10:43:04 +0200 |
eliminate term2str in src, Prog_Tac.*_adapt_to_type
|
file | diff | annotate |
| Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
| Thu, 29 Sep 2022 18:02:10 +0200 |
build clean -- rollback
|
file | diff | annotate |
| Mon, 26 Sep 2022 10:57:53 +0200 |
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
| Wed, 27 Jul 2022 13:11:43 +0200 |
polish naming
|
file | diff | annotate |
| Wed, 22 Jun 2022 19:26:18 +0200 |
inspect SpecificationC.is_complete
|
file | diff | annotate |
| Mon, 20 Jun 2022 18:43:51 +0200 |
merged
|
file | diff | annotate |
| Mon, 20 Jun 2022 17:36:25 +0200 |
intermed 3
|
file | diff | annotate |
| Mon, 20 Jun 2022 17:22:26 +0200 |
intermed 2
|
file | diff | annotate |
| Mon, 20 Jun 2022 16:58:32 +0200 |
intermed 1
|
file | diff | annotate |
| Mon, 20 Jun 2022 18:37:54 +0200 |
rename functions in o-model.sml
|
file | diff | annotate |
| Tue, 24 May 2022 16:47:31 +0200 |
unify parse 5': improved get_ctxt for appendFormula and CAS-cmd
|
file | diff | annotate |
| Tue, 16 Nov 2021 18:26:57 +0100 |
unify parse 4: eliminate parse, simple cases
|
file | diff | annotate |
| Tue, 10 Aug 2021 11:01:18 +0200 |
eliminate ThyC.to_ctxt, use Proof_Context.init_global inline
|
file | diff | annotate |
| Tue, 27 Jul 2021 11:21:14 +0200 |
revert previous changeset
|
file | diff | annotate |
| Tue, 20 Jul 2021 14:37:56 +0200 |
//reduce the number of TermC.parse*; "//"means: tests broken .
|
file | diff | annotate |
| Mon, 21 Jun 2021 15:36:09 +0200 |
more antiquotations for Isabelle/HOL consts/types, without change of semantics;
|
file | diff | annotate |
| Wed, 28 Apr 2021 12:38:13 +0200 |
eliminate "handle _ => ..." by \<^try>CARTOUCHE in src/*
|
file | diff | annotate |
| Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
file | diff | annotate |
| Wed, 03 Feb 2021 16:39:44 +0100 |
Isac's MethodC not shadowing Isabelle's Method
|
file | diff | annotate |
| Tue, 15 Dec 2020 15:10:38 +0100 |
step 4: use Naproche as a model for checking input
|
file | diff | annotate |
| Wed, 25 Nov 2020 12:44:43 +0100 |
adapt initialise Calculation to PIDE
|
file | diff | annotate |
| Wed, 04 Nov 2020 09:59:30 +0100 |
separate code for Example from spark_open, resolve name clash
|
file | diff | annotate |
| Wed, 03 Jun 2020 13:57:22 +0200 |
unify Pre_Conds.check, partially
|
file | diff | annotate |
| Sun, 24 May 2020 17:03:40 +0200 |
shift code from I_Model to O_Model, finished
|
file | diff | annotate |
| Tue, 19 May 2020 12:33:35 +0200 |
adapt test/../Specify/* to new files in src/../Specify/*
|
file | diff | annotate |
| Mon, 18 May 2020 14:21:41 +0200 |
Specify/* removed all warnings, only "handle _" remains
|
file | diff | annotate |
| Mon, 18 May 2020 14:02:54 +0200 |
sprep.cleanup Specification, Specify
|
file | diff | annotate |
| Sat, 16 May 2020 16:23:24 +0200 |
shift code from Specification to I_Model, rename ids
|
file | diff | annotate |
| Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate | base |