Wed, 11 Jan 2023 09:23:18 +0100 |
eliminate use of Thy_Info 12: prep.arg. ctxt in TermC, UnparseC
|
file | diff | annotate |
Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
Thu, 29 Sep 2022 18:02:10 +0200 |
build clean -- rollback
|
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 13:59:58 +0200 |
polish naming
|
file | diff | annotate |
Tue, 27 Apr 2021 19:52:29 +0200 |
eliminate "handle _ => ..." by more direct ML
|
file | diff | annotate |
Sat, 24 Apr 2021 15:59:54 +0200 |
purge XML output from pbl- and met-hierarchies, finished
|
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, 03 Feb 2021 16:39:44 +0100 |
Isac's MethodC not shadowing Isabelle's Method
|
file | diff | annotate |
Wed, 13 May 2020 18:16:35 +0200 |
shift code from Specify to Ptool; Specify is ready to be re-filled
|
file | diff | annotate |