| Tue, 16 Sep 2025 12:14:37 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 11 Aug 2025 12:34:58 +0200 |
wenzelm |
explicit "isabelle process_theories -U" as in "isabelle build_log";
|
file |
diff |
annotate
|
| Tue, 05 Aug 2025 21:44:54 +0200 |
wenzelm |
more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs;
|
file |
diff |
annotate
|
| Fri, 21 Mar 2025 18:37:05 +0100 |
wenzelm |
support for writeln_urgent, which is shown in Output before state messages (reminiscent of old Output.urgent_message before 521cea5fa777);
|
file |
diff |
annotate
|
| Mon, 04 Nov 2024 22:05:20 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2024 14:42:04 +0200 |
wenzelm |
tuned: trim message before formatting;
|
file |
diff |
annotate
|
| 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
|