| Wed, 25 Jun 2025 12:37:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 25 Jun 2025 12:29:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 25 Jun 2025 12:08:12 +0200 |
wenzelm |
clarified signature: more accurate ML_Settings;
|
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
|
| Thu, 26 Dec 2024 15:24:21 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 26 Dec 2024 15:18:19 +0100 |
wenzelm |
drop redundant space in HTML (see also 18a720984855);
|
file |
diff |
annotate
|
| Tue, 05 Nov 2024 23:45:39 +0100 |
wenzelm |
tuned description: plain text documentation is also supported;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2024 22:05:50 +0100 |
wenzelm |
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
|
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
|
| Mon, 21 Feb 2022 21:15:05 +0100 |
wenzelm |
clarified pdf path;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 20:31:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 16:48:44 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 16:23:11 +0100 |
wenzelm |
clarified signature: more explicit section structure;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 15:33:04 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|