| Sun, 27 Aug 2023 11:19:14 +0200 |
followup 1 (to PIDE turn 11a): eliminate penv
|
file | diff | annotate |
| Mon, 30 Jan 2023 09:47:18 +0100 |
cleanup parse #3: final functions inb ParseC
|
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 |
| Mon, 31 Oct 2022 16:43:48 +0100 |
cleanup Problem/MethodC..prep_input
|
file | diff | annotate |
| Sun, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
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 |
| 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 |
| Mon, 19 Jul 2021 17:29:35 +0200 |
introduce ALL valid const_name in test/*
|
file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
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, 03 Jun 2020 11:25:19 +0200 |
follow 2 ancient updates of Library.ML
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Mon, 18 May 2020 11:48:27 +0200 |
shift code from Specification to Specify
|
file | diff | annotate |
| Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Mon, 11 May 2020 20:49:27 +0200 |
prep. remove Specify/mstools.sml
|
file | diff | annotate |
| Sun, 10 May 2020 15:55:30 +0200 |
collect code for struct.I_Model
|
file | diff | annotate |
| Sat, 09 May 2020 15:31:15 +0200 |
collect code for I_Model.add_single
|
file | diff | annotate |
| Sat, 09 May 2020 11:55:51 +0200 |
shift code to Input_Descript, rename identifiers (+ keep old)
|
file | diff | annotate |
| Thu, 07 May 2020 14:11:03 +0200 |
collect code for O_Model (+ old locations)
|
file | diff | annotate |
| Tue, 05 May 2020 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
file | diff | annotate |
| Tue, 05 May 2020 13:33:23 +0200 |
assign code struct.O_Model and I_Model, part 1
|
file | diff | annotate |
| Mon, 04 May 2020 18:47:27 +0200 |
separate struct O_Model and I_Model, part 2
|
file | diff | annotate |
| Tue, 28 Apr 2020 15:31:49 +0200 |
assign code from Rtools to appropriate struct.s
|
file | diff | annotate |
| Wed, 22 Apr 2020 14:36:27 +0200 |
use "Spec", "Problem", "Method" for renaming identifiers
|
file | diff | annotate |
| Wed, 15 Apr 2020 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
| Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
| Wed, 25 Mar 2020 10:38:31 +0100 |
remove unused field in Ctree
|
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 11:58:45 +0100 |
introduce Step.by_tactic, part 1
|
file | diff | annotate |
| Mon, 23 Dec 2019 16:58:36 +0100 |
shift code from mathengine-stateless.sml to Step.do_next
|
file | diff | annotate |
| Mon, 23 Dec 2019 16:38:09 +0100 |
rm code replaced in previous change set
|
file | diff | annotate |
| Sat, 21 Dec 2019 18:05:13 +0100 |
lucin: unify do_next postponed
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
| Sat, 26 Oct 2019 13:03:16 +0200 |
separate common base for Specify and Interpret
|
file | diff | annotate | base |