Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Wed, 03 Nov 2021 14:26:13 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Sat, 09 Jan 2021 18:56:53 +0100 |
wenzelm |
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
|
file |
diff |
annotate
|
Fri, 18 Dec 2020 23:19:07 +0100 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
Sat, 05 Dec 2020 12:14:40 +0100 |
wenzelm |
support for PIDE markup for auxiliary files ("blobs");
|
file |
diff |
annotate
|
Tue, 01 Dec 2020 20:47:03 +0100 |
wenzelm |
clarified signature --- more positions;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 15:53:46 +0100 |
wenzelm |
tuned signature --- more explicit types;
|
file |
diff |
annotate
|
Fri, 27 Nov 2020 23:47:06 +0100 |
wenzelm |
more flexible syntax for theory load commands via Isabelle/Scala;
|
file |
diff |
annotate
|
Fri, 27 Nov 2020 16:40:31 +0100 |
wenzelm |
unused (see 7634d33c1a79);
|
file |
diff |
annotate
|
Fri, 27 Nov 2020 14:25:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Nov 2020 14:00:54 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 23 Nov 2020 15:14:58 +0100 |
wenzelm |
support for PIDE markup in batch build (inactive due to pide_reports=false);
|
file |
diff |
annotate
|
Wed, 29 Aug 2018 18:53:58 +0200 |
wenzelm |
support Thy_Element in Scala, following ML version;
|
file |
diff |
annotate
|
Wed, 29 Aug 2018 12:21:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|