| 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 |
| Sun, 27 Aug 2023 11:19:14 +0200 |
followup 1 (to PIDE turn 11a): eliminate penv
|
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 |
| 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 |
| Tue, 15 Aug 2023 17:39:06 +0200 |
prepare 14: eliminate Pre_Conds.check in test/*
|
file | diff | annotate |
| Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
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: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 12:29:42 +0100 |
eliminate use of Thy_Info 13: eliminate UnparseC.term in test/
|
file | diff | annotate |
| Tue, 31 Jan 2023 10:49:17 +0100 |
cleanup parse #6: eliminate TermC.parseNEW
|
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 |
| 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 |
| Fri, 21 Oct 2022 15:35:50 +0200 |
cleanup *?PIDE 2: finished
|
file | diff | annotate |
| Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
| Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
| Fri, 07 Oct 2022 20:46:48 +0200 |
follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
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 14:04:04 +0200 |
tuned
|
file | diff | annotate |
| Thu, 26 May 2022 12:44:51 +0200 |
unify parse 6': TermC.parse eliminated, Test_Isac ok
|
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 |
| Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
| Mon, 19 Apr 2021 20:12:53 +0200 |
session Isac_Test works again: de0ccac9f862 removes confusion that lead to partial/breaking changes in 0ca0f9363ad3;
|
file | diff | annotate |
| Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
| Wed, 03 Feb 2021 16:39:44 +0100 |
Isac's MethodC not shadowing Isabelle's Method
|
file | diff | annotate |
| Sun, 14 Jun 2020 15:39:55 +0200 |
unify code (and replace Specify.by_tactic_input' by Specify.by_Add_)
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
| Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
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 |