| Sat, 03 Dec 2022 19:09:51 +0100 |
follow-up Makarius #4b: clarify type model_out
|
file | diff | annotate |
| Sat, 26 Nov 2022 22:28:33 +0100 |
follow-up Makarius #4: prepare implementation of template for Specification
|
file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
| Tue, 25 Oct 2022 16:15:47 +0200 |
follow up 6: eliminate use of Thy_Info.get_theory, part 1
|
file | diff | annotate |
| Sun, 23 Oct 2022 16:08:27 +0200 |
follow up 6a: eliminate Thy_Inof.get_thoery for Minisubplb/100-init-rootpbl.sml independent -- src only, rollback
|
file | diff | annotate |
| Sun, 29 May 2022 11:27:34 +0200 |
start Calculation by use of Makarius' "problem" as boilerplate
|
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, 25 Nov 2020 12:44:43 +0100 |
adapt initialise Calculation to PIDE
|
file | diff | annotate |
| Mon, 18 May 2020 11:48:27 +0200 |
shift code from Specification to Specify
|
file | diff | annotate |
| Sat, 16 May 2020 16:54:39 +0200 |
shift code from Specification to P_Model, rename ids
|
file | diff | annotate |
| Tue, 12 May 2020 16:22:00 +0200 |
cleanup struct.O_Model, P_Model
|
file | diff | annotate |
| Tue, 12 May 2020 10:14:09 +0200 |
distribute code from old Specify/ptyps.sml
|
file | diff | annotate |
| Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
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 | base |