Mon, 11 Dec 2023 09:24:02 +0100 |
prepare 1: delete old code with I_Model.T (without Position.T)
|
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 |
Thu, 16 Nov 2023 08:15:46 +0100 |
prepare 14: improved item_to_add
|
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 |
Sat, 19 Aug 2023 05:06:55 +0200 |
PIDE turn 11: Test_Isac_Short works on env_mode, type env_subst and type env_eval
|
file | diff | annotate |
Tue, 07 Feb 2023 18:05:15 +0100 |
unify ctxt for ERROR
|
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 |
Thu, 26 Jan 2023 18:58:17 +0100 |
renaming
|
file | diff | annotate |
Thu, 26 Jan 2023 18:54:25 +0100 |
use exclusively some new *.to_string ctxt
|
file | diff | annotate |
Thu, 26 Jan 2023 13:31:07 +0100 |
use exclusively new ContextC.build_while_parsing
|
file | diff | annotate |
Wed, 25 Jan 2023 18:35:02 +0100 |
use exclusively new O_Model.init
|
file | diff | annotate |
Wed, 25 Jan 2023 15:52:33 +0100 |
ContextC.build_while_parsing, improves O_Model.init_PIDE
|
file | diff | annotate |
Thu, 08 Dec 2022 10:16:40 +0100 |
make Minisubplb/300-init-subpbl.sml independent from Thy_Info
|
file | diff | annotate |
Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
Tue, 21 Jun 2022 12:41:52 +0200 |
rename functions in o-model.sml finish
|
file | diff | annotate |
Mon, 20 Jun 2022 18:43:51 +0200 |
merged
|
file | diff | annotate |
Mon, 20 Jun 2022 17:42:49 +0200 |
intermed 4
|
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, 31 May 2022 17:33:02 +0200 |
Calculation 3: Demo_Example stored in Theory_Data
|
file | diff | annotate |
Thu, 29 Apr 2021 12:43:50 +0200 |
eliminate warnings from src/*, part 2
|
file | diff | annotate |
Wed, 28 Apr 2021 12:38:13 +0200 |
eliminate "handle _ => ..." by \<^try>CARTOUCHE in src/*
|
file | diff | annotate |
Wed, 21 Apr 2021 11:47:30 +0200 |
check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE
|
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 |
Wed, 03 Jun 2020 13:57:22 +0200 |
unify Pre_Conds.check, partially
|
file | diff | annotate |
Wed, 03 Jun 2020 11:25:19 +0200 |
follow 2 ancient updates of Library.ML
|
file | diff | annotate |
Sat, 30 May 2020 16:06:06 +0200 |
revert O_Model.seek_* to 4e6fc3336336
|
file | diff | annotate |
Sat, 30 May 2020 15:20:22 +0200 |
cleanup code after resolve hacks
|
file | diff | annotate |
Sat, 30 May 2020 14:10:58 +0200 |
resolve hacks finished
|
file | diff | annotate |
Fri, 29 May 2020 12:43:41 +0200 |
[errors 4, Test_Isac_Short] resolve hacks, part 4: reapired O_Model.complete_for
|
file | diff | annotate |
Wed, 27 May 2020 16:14:14 +0200 |
resolve hacks, part 1: NEW O_Model.complete_for_from
|
file | diff | annotate |
Wed, 27 May 2020 13:42:37 +0200 |
Test_Isac_Short OK with OLD code, Test_Some OK with NEW
|
file | diff | annotate |
Tue, 26 May 2020 11:53:43 +0200 |
prep.resolve hacks introduced with funpack, part 4
|
file | diff | annotate |
Mon, 25 May 2020 11:14:51 +0200 |
prep.resolve hacks introduced with funpack, part 2
|
file | diff | annotate |
Sun, 24 May 2020 17:03:40 +0200 |
shift code from I_Model to O_Model, finished
|
file | diff | annotate |
Sun, 24 May 2020 16:27:25 +0200 |
shift code from I_Model to O_Model
|
file | diff | annotate |
Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
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 14:04:35 +0200 |
shift code (O_Model, M_Match, Model_Pattern)
|
file | diff | annotate |
Sat, 16 May 2020 12:40:09 +0200 |
shift code from Specification to O_Model
|
file | diff | annotate |
Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
Wed, 13 May 2020 18:16:35 +0200 |
shift code from Specify to Ptool; Specify is ready to be re-filled
|
file | diff | annotate |
Tue, 12 May 2020 16:22:00 +0200 |
cleanup struct.O_Model, P_Model
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Mon, 11 May 2020 11:22:46 +0200 |
cover types from struct. *_Def
|
file | diff | annotate |
Mon, 11 May 2020 11:07:19 +0200 |
separate struct.Refine, Pre_Conds.
|
file | diff | annotate |
Sun, 10 May 2020 13:16:56 +0200 |
investigate I_Model
|
file | diff | annotate |
Sat, 09 May 2020 13:15:25 +0200 |
tuned
|
file | diff | annotate |
Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
Fri, 08 May 2020 18:30:21 +0200 |
cleanup O_Model
|
file | diff | annotate |
Thu, 07 May 2020 14:37:25 +0200 |
unify types (in new code, leave in old)
|
file | diff | annotate |
Thu, 07 May 2020 14:20:05 +0200 |
remove outcommented code
|
file | diff | annotate |