| 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 17:16:22 +0100 |
prepare 4: refine.sml with I_Model.T_POS exclusively
|
file | diff | annotate |
| Thu, 07 Dec 2023 16:14:32 +0100 |
prepare 3: Tactic.T with I_Model.T_POS
|
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 |
| Sun, 19 Nov 2023 07:51:41 +0100 |
followup 1: improve new code
|
file | diff | annotate |
| Tue, 29 Aug 2023 09:04:36 +0200 |
prepare 1 (for PIDE turn 12)
|
file | diff | annotate |
| Sun, 27 Aug 2023 16:09:04 +0200 |
followup 2: delete old code
|
file | diff | annotate |
| Fri, 18 Aug 2023 18:51:18 +0200 |
prepare 16: delete old code 2, shift feedback_to_string Pre_Conds -> I_Model
|
file | diff | annotate |
| Fri, 31 Mar 2023 12:07:52 +0200 |
//new Pre_Conds.check/_TEST breaks tests, need new signature
|
file | diff | annotate |
| Wed, 11 Jan 2023 11:38:01 +0100 |
eliminate use of Thy_Info 12: TermC partially
|
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, 08 Dec 2022 10:16:40 +0100 |
make Minisubplb/300-init-subpbl.sml independent from Thy_Info
|
file | diff | annotate |
| Wed, 03 Aug 2022 13:22:36 +0200 |
replace val example_store = Unsynchronized.ref by Thy_Data
|
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 16:58:32 +0200 |
intermed 1
|
file | diff | annotate |
| Mon, 21 Jun 2021 21:53:23 +0200 |
Isar command 'cas' as front-end for KEStore_Elems.add_cas, 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 |
| Fri, 16 Apr 2021 22:29:23 +0200 |
prefer symbolic directories $ISABELLE_ISAC and $ISABELLE_ISAC_TEST, instead of re-using ~~ for $ISABELLE_HOME;
|
file | diff | annotate |
| Wed, 03 Jun 2020 17:15:04 +0200 |
make Specify.find_next_step more readable
|
file | diff | annotate |
| Wed, 03 Jun 2020 13:57:22 +0200 |
unify Pre_Conds.check, partially
|
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 |
| Sun, 24 May 2020 16:05:36 +0200 |
prep.resolve hacks introduced with funpack, part 1
|
file | diff | annotate |
| Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
| Thu, 14 May 2020 16:58:33 +0200 |
shift code from P_Specific --> CAS_Cmd
|
file | diff | annotate |
| Thu, 14 May 2020 16:08:41 +0200 |
shift code Specification --> Calc
|
file | diff | annotate |
| Thu, 14 May 2020 15:06:18 +0200 |
Test_Isac_Short works with P_Specific
|
file | diff | annotate |
| Thu, 14 May 2020 13:48:45 +0200 |
rename to Specification, contiued
|
file | diff | annotate |
| Thu, 14 May 2020 09:30:40 +0200 |
start renaming Specification -> References;
|
file | diff | annotate |
| Thu, 14 May 2020 08:49:08 +0200 |
shift 2 preliminary hacks close to usage
|
file | diff | annotate |
| Tue, 12 May 2020 10:14:09 +0200 |
distribute code from old Specify/ptyps.sml
|
file | diff | annotate |
| Tue, 12 May 2020 07:27:21 +0200 |
remove Specify/mstools.sml
|
file | diff | annotate |
| Mon, 11 May 2020 20:49:27 +0200 |
prep. remove Specify/mstools.sml
|
file | diff | annotate |
| Mon, 11 May 2020 11:07:19 +0200 |
separate struct.Refine, Pre_Conds.
|
file | diff | annotate |
| Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
file | diff | annotate |
| Tue, 05 May 2020 09:07:36 +0200 |
separate struc.Formalise
|
file | diff | annotate |
| Mon, 04 May 2020 16:47:32 +0200 |
prep.to separate struct O_Model and I_Model
|
file | diff | annotate |
| Mon, 04 May 2020 16:25:14 +0200 |
shift code specific for specify-phase to Specify/*
|
file | diff | annotate |
| Mon, 04 May 2020 13:27:45 +0200 |
remove unused code
|
file | diff | annotate |
| Mon, 04 May 2020 10:19:16 +0200 |
spearate Specify_Step.add
|
file | diff | annotate |
| Sat, 02 May 2020 17:39:04 +0200 |
prep. new Solve_Step.add
|
file | diff | annotate |
| Wed, 29 Apr 2020 12:30:51 +0200 |
prep. separation of check Applicable between specify-phase and solve-phase
|
file | diff | annotate |
| Sat, 07 Mar 2020 15:37:37 +0100 |
further separate specify- and solve-phase
|
file | diff | annotate |
| Sun, 16 Feb 2020 16:26:05 +0100 |
introduce Step.by_tactic, part 3, finished, Test_Isac_Short OK
|
file | diff | annotate |
| Tue, 11 Feb 2020 17:25:45 +0100 |
introduce Step.by_tactic, part 2
|
file | diff | annotate |
| Mon, 23 Dec 2019 16:38:09 +0100 |
rm code replaced in previous change set
|
file | diff | annotate |
| Mon, 23 Dec 2019 15:41:36 +0100 |
separate Step_Specify, Step_Solve, Step for do_next and by_tactic
|
file | diff | annotate |
| Wed, 18 Dec 2019 15:33:27 +0100 |
prep. intro. of Step
|
file | diff | annotate |
| Sat, 26 Oct 2019 13:03:16 +0200 |
separate common base for Specify and Interpret
|
file | diff | annotate |
| Tue, 27 Aug 2019 15:31:45 +0200 |
[-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase
|
file | diff | annotate |
| Tue, 27 Aug 2019 11:59:48 +0200 |
separate Specify/ from Interpret/
|
file | diff | annotate |