Wed, 11 Oct 2023 11:27:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 28 Sep 2023 14:43:07 +0200 |
wenzelm |
clarified treatment of exceptions: avoid catch-all handlers;
|
file |
diff |
annotate
|
Tue, 28 Jun 2022 14:50:59 +0200 |
wenzelm |
more operations on Bytes.T;
|
file |
diff |
annotate
|
Tue, 28 Jun 2022 11:24:59 +0200 |
wenzelm |
more operations on Bytes.T;
|
file |
diff |
annotate
|
Wed, 03 Nov 2021 14:26:13 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
Sun, 11 Apr 2021 22:47:55 +0200 |
wenzelm |
more uniform use of Byte_Message;
|
file |
diff |
annotate
|
Sun, 07 Feb 2021 12:30:52 +0100 |
wenzelm |
clarified modules: allow early definition of protocol commands;
|
file |
diff |
annotate
|
Fri, 18 Dec 2020 23:19:07 +0100 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
Fri, 27 Nov 2020 21:59:23 +0100 |
wenzelm |
clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 13:11:15 +0100 |
wenzelm |
refer to HTML symbols via resources;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 22:00:45 +0100 |
wenzelm |
refer to session structure from resources;
|
file |
diff |
annotate
|
Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
Sun, 27 Sep 2020 17:02:59 +0200 |
wenzelm |
ISABELLE_PDFLATEX is now lualatex;
|
file |
diff |
annotate
|
Thu, 27 Aug 2020 17:05:59 +0200 |
wenzelm |
strict init of protocol handlers;
|
file |
diff |
annotate
|