| Mon, 11 Dec 2023 16:18:42 +0100 |
repair settings ISABELLE_ISAC_TEST
|
file | diff | annotate |
| Mon, 11 Dec 2023 16:12:53 +0100 |
PIDE turn 15: I_Model.T(_POS) stores Position.T for Specification
|
file | diff | annotate |
| Sun, 10 Dec 2023 17:35:07 +0100 |
PIDE turn 14: ALL src/* (except Ctree) 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 |
| Fri, 01 Dec 2023 05:51:18 +0100 |
prepare 16: adapt Refine to variants
|
file | diff | annotate |
| Sat, 25 Nov 2023 15:33:14 +0100 |
followup 4: cleanup new code
|
file | diff | annotate |
| Thu, 16 Nov 2023 08:15:46 +0100 |
prepare 14: improved item_to_add
|
file | diff | annotate |
| Sun, 29 Oct 2023 07:14:14 +0100 |
prepare 13: improved max_variants
|
file | diff | annotate |
| Wed, 25 Oct 2023 12:34:12 +0200 |
prepare 12: M_Model.match_itms_oris takes Position.T and new max_mariants
|
file | diff | annotate |
| Mon, 02 Oct 2023 12:02:59 +0200 |
prepare 10: check completeness of Specification regards variants and Position.T
|
file | diff | annotate |
| Mon, 25 Sep 2023 08:39:43 +0200 |
prepare 8: replace complete_Method by general I_Model.s_make_complete
|
file | diff | annotate |
| Sun, 24 Sep 2023 20:04:41 +0200 |
rollback
|
file | diff | annotate |
| Mon, 18 Sep 2023 08:38:33 +0200 |
prepare 3: shift new code
|
file | diff | annotate |
| Wed, 30 Aug 2023 06:37:56 +0200 |
prepare 2: I_Model.of_max_variant ready for use in I_Model.complete
|
file | diff | annotate |
| Sun, 27 Aug 2023 16:09:04 +0200 |
followup 2: delete old code
|
file | diff | annotate |
| Sat, 26 Aug 2023 10:51:35 +0200 |
prepare 17: repair Biegelinie formals and accordingly data for Formlise.model
|
file | diff | annotate |
| Thu, 17 Aug 2023 08:01:45 +0200 |
prepare 15: delete old code 1, repair Pre_Conds.check_envs_TEST and check_pos
|
file | diff | annotate |
| Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
file | diff | annotate |
| Fri, 21 Jul 2023 14:16:57 +0200 |
prepare 10: Minisubpbl/* is in test standard format
|
file | diff | annotate |
| Thu, 13 Jul 2023 17:53:58 +0200 |
repair input-template for type bool
|
file | diff | annotate |
| Sat, 03 Jun 2023 16:45:43 +0200 |
prepare 3: clean code
|
file | diff | annotate |
| Tue, 23 May 2023 07:56:29 +0200 |
rollback
|
file | diff | annotate |
| Tue, 04 Apr 2023 10:54:12 +0200 |
PIDE turn 10> new handling of variants, Pre_Conds.check_OLD/_TEST, I_Model.is_complete_OLD/_TEST
|
file | diff | annotate |
| Fri, 31 Mar 2023 12:07:52 +0200 |
//new Pre_Conds.check/_TEST breaks tests, need new signature
|
file | diff | annotate |
| Tue, 07 Mar 2023 15:38:23 +0100 |
I_Model.init_TEST provides completion as far as reasonable
|
file | diff | annotate |
| Fri, 24 Feb 2023 16:14:28 +0100 |
PIDE turn 8: reorganise Test_VSCode_Example.thy, etc
|
file | diff | annotate |
| Wed, 22 Feb 2023 18:38:56 +0100 |
PIDE turn 7: prepare for Template.show
|
file | diff | annotate |
| Mon, 20 Feb 2023 12:51:17 +0100 |
correct last cs: add files etc
|
file | diff | annotate |
| Mon, 20 Feb 2023 12:33:23 +0100 |
PIDE turn 5: more structure
|
file | diff | annotate |
| Sun, 19 Feb 2023 10:29:58 +0100 |
PIDE turn 3: hints for input format of terms in Model
|
file | diff | annotate |
| Thu, 16 Feb 2023 15:53:10 +0100 |
PIDE turn 2: prepare for stepwise input
|
file | diff | annotate |
| Wed, 15 Feb 2023 15:56:09 +0100 |
PIDE turn 1: model's terms show syntax error
|
file | diff | annotate |
| Tue, 07 Feb 2023 18:32:58 +0100 |
improve previous changeset
|
file | diff | annotate |
| Wed, 25 Jan 2023 17:51:52 +0100 |
use exclusively new Step_Specify.initialise / initialise'
|
file | diff | annotate |
| Wed, 25 Jan 2023 15:52:33 +0100 |
ContextC.build_while_parsing, improves O_Model.init_PIDE
|
file | diff | annotate |
| Fri, 06 Jan 2023 15:40:45 +0100 |
eliminate use of Thy_Info 2: ThyC.get_theory in Math_Engine
|
file | diff | annotate |
| Fri, 06 Jan 2023 15:06:40 +0100 |
eliminate use of Thy_Info 1: ThyC.get_theory in Specify_Step, Specify, Step_Specify
|
file | diff | annotate |
| Fri, 06 Jan 2023 08:04:36 +0100 |
eliminate thy-hierarchy 1: Error_Pattern.fill_from_store independent from..
|
file | diff | annotate |
| Thu, 22 Dec 2022 17:06:19 +0100 |
make Minisubplb/800-append-on-Frm.sml independent from Thy_Info
|
file | diff | annotate |
| Thu, 22 Dec 2022 10:27:12 +0100 |
make Minisubplb/800-append-on-Frm.sml independent from Thy_Info
|
file | diff | annotate |
| Wed, 21 Dec 2022 18:48:23 +0100 |
make Minisubplb/710-interSteps-short.sml independent from Thy_Info
|
file | diff | annotate |
| Tue, 20 Dec 2022 08:11:26 +0100 |
before Tactic.input_to_string ctxt -- hg rollback
|
file | diff | annotate |
| Fri, 09 Dec 2022 13:51:02 +0100 |
make up to Minisubplb/700-interSteps.sml from Thy_Info (on Isabelle2021-1)
|
file | diff | annotate |
| Thu, 08 Dec 2022 17:55:45 +0100 |
make Minisubplb/400-start-meth-subpbl.sml from Thy_Info
|
file | diff | annotate |
| Thu, 08 Dec 2022 10:33:27 +0100 |
tuned files, Test_Isac.thy works
|
file | diff | annotate |
| Thu, 08 Dec 2022 10:16:40 +0100 |
make Minisubplb/300-init-subpbl.sml independent from Thy_Info
|
file | diff | annotate |
| Sun, 04 Dec 2022 16:48:06 +0100 |
make Minisubplb/300-init-subpbl-NEXT_STEP.sml independent from Thy_Info
|
file | diff | annotate |
| Wed, 23 Nov 2022 11:14:38 +0100 |
while renamings in MethodC -- hg rollback
|
file | diff | annotate |
| Sun, 20 Nov 2022 08:40:46 +0100 |
make Minisubplb/250-Rewrite_Set-from-method* independent from Thy_Info
|
file | diff | annotate |
| Sat, 19 Nov 2022 17:00:59 +0100 |
make Minisubplb/200-start-method independent #5: prepreeding was 200-start-method-NEXT_STEP.sml
|
file | diff | annotate |
| Sat, 19 Nov 2022 15:30:52 +0100 |
make Minisubplb/200-start-method independent #4: finish
|
file | diff | annotate |
| Wed, 16 Nov 2022 10:29:52 +0100 |
make Minisubplb/200-start-method independent #2: Tactic.Rewrite_Set partially
|
file | diff | annotate |
| Thu, 10 Nov 2022 14:25:38 +0100 |
make Minisubplb/200-start-method independent from Thy_Info #1
|
file | diff | annotate |
| Wed, 09 Nov 2022 15:15:24 +0100 |
rename Minisubpbl: in the future "a" indicates a "Maximum"-test
|
file | diff | annotate |
| Tue, 25 Oct 2022 17:44:08 +0200 |
polished
|
file | diff | annotate |
| Tue, 25 Oct 2022 16:15:47 +0200 |
follow up 6: eliminate use of Thy_Info.get_theory, part 1
|
file | diff | annotate |
| Sun, 23 Oct 2022 17:21:04 +0200 |
follow up 6a: eliminate Thy_Info.get_theory for Minisubplb/100-init-rootpbl.sml
|
file | diff | annotate |
| Sun, 23 Oct 2022 16:08:27 +0200 |
follow up 6a: eliminate Thy_Inof.get_thoery for Minisubplb/100-init-rootpbl.sml independent -- src only, rollback
|
file | diff | annotate |