| Mon, 01 Jul 2024 12:40:54 +0200 |
wenzelm |
clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2023 12:16:58 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 12:34:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 12:29:08 +0100 |
wenzelm |
clarified signature: uniform master_dir instead of separate field;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 12:10:14 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 18 Dec 2022 16:01:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 08 Sep 2022 16:59:49 +0200 |
wenzelm |
support regex patterns on messages;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2022 11:55:24 +0200 |
wenzelm |
inline markup for Output.state (in contrast to c94bba7906d2): make messages available via Rendering.text_messages and thus "isabelle log" (see cb0c407fbc6e), while Rendering.output_messages of Isabelle/jEdit/VSCode is unaffected;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2022 15:05:28 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 23:34:06 +0200 |
wenzelm |
prefer less intrusive tracing message;
|
file |
diff |
annotate
|
| Tue, 08 Jun 2021 13:17:45 +0200 |
wenzelm |
more formal ML profiling messages;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Fri, 18 Dec 2020 23:19:07 +0100 |
wenzelm |
improved markup for theory header imports;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 22:15:16 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 21:48:53 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 17:41:46 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2020 17:14:49 +0100 |
wenzelm |
clarified types;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 22:20:48 +0100 |
wenzelm |
clarified signature;
|
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
|
| Fri, 27 Nov 2020 16:44:36 +0100 |
wenzelm |
more explicit types;
|
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
|
| Tue, 17 Nov 2020 22:05:59 +0100 |
wenzelm |
more uniform Resources.init_session via YXML;
|
file |
diff |
annotate
|
| Mon, 16 Nov 2020 23:17:16 +0100 |
wenzelm |
proper html_symbols (amending 429afd0d1a79);
|
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:42:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 17:34:19 +0100 |
wenzelm |
clarified bibtex_entries: refer to overall session structure;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2020 17:51:20 +0200 |
wenzelm |
unused (see also 7b318273a4aa);
|
file |
diff |
annotate
|
| Sat, 11 Jul 2020 15:23:22 +0200 |
wenzelm |
clarified inlined protocol messages;
|
file |
diff |
annotate
|