| Wed, 25 Jun 2025 12:43:37 +0200 |
wenzelm |
more accurate ML_Settings from underlying Session;
|
file |
diff |
annotate
|
| Wed, 25 Jun 2025 12:29:04 +0200 |
wenzelm |
clarified signature;
|
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
|
| Wed, 09 Apr 2025 22:23:59 +0200 |
wenzelm |
tuned: prefer explicit Bash.exports;
|
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
|
| Sun, 26 Mar 2023 12:53:53 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sun, 26 Mar 2023 12:41:34 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 24 Feb 2023 20:40:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 16:29:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 16:08:43 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 15:38:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 15:35:43 +0100 |
wenzelm |
clarified signature: more robust field_scale;
|
file |
diff |
annotate
|
| Sat, 28 Jan 2023 15:04:15 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2023 18:59:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 10:03:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|