| Tue, 05 Aug 2025 23:31:30 +0200 |
wenzelm |
proper symbol_length (amending e2e43992f339);
|
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
|
| Mon, 28 Jul 2025 16:10:02 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 27 Jun 2025 13:44:36 +0200 |
wenzelm |
clarified signature: omit pointless object-oriented indirection;
|
file |
diff |
annotate
|
| Fri, 27 Jun 2025 13:37:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 25 Jun 2025 11:51:13 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 15 Jun 2025 22:46:45 +0200 |
wenzelm |
more flexible ML_Settings in Isabelle/Scala, depending on system options and some default settings;
|
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
|
| Sun, 02 Jun 2024 14:11:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2024 16:06:06 +0100 |
wenzelm |
prefer dynamic objects, following a5fda30edae2;
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 15:07:41 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|