| Wed, 25 Jun 2025 12:29:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 24 Jun 2025 22:08:20 +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
|
| Sun, 15 Jun 2025 13:13:37 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2025 17:10:18 +0200 |
wenzelm |
discontinued ML_IDENTIFIER settings variable;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2025 14:37:34 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2025 14:31:54 +0200 |
wenzelm |
clarified signature;
|
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, 01 Jun 2024 12:35:38 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2024 12:31:06 +0200 |
wenzelm |
clarified signature: prefer symbolic isabelle.Path over physical java.io.File;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2024 16:54:15 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 18 Feb 2024 19:09:05 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 21:26:00 +0100 |
wenzelm |
more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2024 21:18:23 +0100 |
wenzelm |
tuned names;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2023 14:25:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|