Mon, 11 Dec 2023 09:24:02 +0100 |
prepare 1: delete old code with I_Model.T (without Position.T)
|
file | diff | annotate |
Thu, 30 Nov 2023 08:11:50 +0100 |
some renamings
|
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 |
Sat, 15 Jul 2023 17:44:37 +0200 |
prepare 7: extend I_Model.of_max_variant with make_envs_preconds
|
file | diff | annotate |
Fri, 14 Jul 2023 12:33:25 +0200 |
prepare 6: repair I_Model.of_max_variant
|
file | diff | annotate |
Fri, 14 Jul 2023 10:15:38 +0200 |
better usable descriptor type
|
file | diff | annotate |
Fri, 14 Jul 2023 09:49:42 +0200 |
make Test_Isac run on previous changeset
|
file | diff | annotate |
Fri, 14 Jul 2023 09:29:49 +0200 |
generalise descriptor type
|
file | diff | annotate |
Thu, 13 Jul 2023 18:45:13 +0200 |
generalise use of descriptor type
|
file | diff | annotate |
Thu, 13 Jul 2023 17:53:58 +0200 |
repair input-template for type bool
|
file | diff | annotate |
Tue, 20 Jun 2023 06:26:18 +0200 |
prepare 4: narrow I_Model.T -- _TEST
|
file | diff | annotate |
Tue, 23 May 2023 07:56:29 +0200 |
rollback
|
file | diff | annotate |
Fri, 31 Mar 2023 12:07:52 +0200 |
//new Pre_Conds.check/_TEST breaks tests, need new signature
|
file | diff | annotate |
Sun, 05 Mar 2023 08:51:34 +0100 |
rename superfluous *_TEST
|
file | diff | annotate |
Sat, 04 Mar 2023 19:06:00 +0100 |
tuned
|
file | diff | annotate |
Sat, 04 Mar 2023 19:02:39 +0100 |
PIDE turn 9a: handle empty input correct
|
file | diff | annotate |
Mon, 27 Feb 2023 09:45:29 +0100 |
PIDE turn 9: handle empty input, error in Test_VSCode_Example, isabelle@
|
file | diff | annotate |
Fri, 24 Feb 2023 16:14:28 +0100 |
PIDE turn 8: reorganise Test_VSCode_Example.thy, etc
|
file | diff | annotate |
Thu, 16 Feb 2023 15:53:10 +0100 |
PIDE turn 2: prepare for stepwise input
|
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 |
Mon, 30 Jan 2023 09:47:18 +0100 |
cleanup parse #3: final functions inb ParseC
|
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 |
Thu, 15 Dec 2022 13:03:51 +0100 |
proper indication of error-msg "Wrong descriptor" in problem/method
|
file | diff | annotate |
Fri, 25 Nov 2022 10:36:46 +0100 |
follow-up Makarius #3.1: compare parse_pos_cas etc with parse_pos_model_input etc
|
file | diff | annotate |
Thu, 24 Nov 2022 18:07:17 +0100 |
follow-up Makarius #3: reorganise parse for proper error-reporting in problem/method
|
file | diff | annotate |
Wed, 23 Nov 2022 11:14:38 +0100 |
while renamings in MethodC -- hg rollback
|
file | diff | annotate |
Mon, 31 Oct 2022 16:43:48 +0100 |
cleanup Problem/MethodC..prep_input
|
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 |
Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
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 |
Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
Sat, 16 May 2020 14:04:35 +0200 |
shift code (O_Model, M_Match, Model_Pattern)
|
file | diff | annotate |
Sun, 10 May 2020 13:16:56 +0200 |
investigate I_Model
|
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:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
Thu, 07 May 2020 11:42:19 +0200 |
proper naming for Problem_Pattern (+ show old names)
|
file | diff | annotate | base |