| Tue, 17 Oct 2023 12:10:58 +0200 |
wenzelm |
tuned signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2023 14:43:07 +0200 |
wenzelm |
clarified treatment of exceptions: avoid catch-all handlers;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2023 21:46:38 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 25 Sep 2023 18:45:41 +0200 |
wenzelm |
clarified signature: avoid association with potentially dangerous Exn.capture;
|
file |
diff |
annotate
|
| Thu, 21 Sep 2023 23:45:03 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 09 Jul 2023 17:39:46 +0200 |
wenzelm |
more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2022 16:49:43 +0100 |
wenzelm |
more uniform report of Markup.language_path;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2022 16:02:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 17:14:41 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 15:15:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 11:11:40 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 20:53:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 20:33:59 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 20:10:35 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 02 Nov 2022 09:47:27 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 28 Aug 2022 20:21:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 23:05:37 +0200 |
wenzelm |
prefer scalable byte strings;
|
file |
diff |
annotate
|
| Mon, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 16:23:20 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
| Sun, 22 Aug 2021 19:21:54 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:29:34 +0200 |
wenzelm |
clarified signature: avoid tmp file;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 18:31:11 +0100 |
wenzelm |
clarified signature, according to Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 16:59:27 +0100 |
wenzelm |
discontinued body_range (again): does not quite work, because Position.thread_data is plain Toplevel.pos_of only;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 16:36:20 +0100 |
wenzelm |
clarified: command keyword position is sufficient (amending 693a39f2cddc);
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 15:03:51 +0100 |
wenzelm |
recovered body_range from eca176f773e0 --- its Command.core_range is in conflict with batch-build markup;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 14:42:18 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 14:40:04 +0100 |
wenzelm |
support more command positions, analogous to Command.core_range in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 14:29:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2021 14:05:46 +0100 |
wenzelm |
more uniform core_range (amending def3ec9cdb7e);
|
file |
diff |
annotate
|