| Wed, 08 Nov 2023 12:00:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2023 11:53:38 +0100 |
wenzelm |
clarified signature: Command_Span.Kind already contains keyword_kind, so parsing document structure no longer requires Keyword.Keywords;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2022 12:30:18 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Sat, 10 Dec 2022 21:02:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 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
|