| 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
|
| Thu, 15 Jun 2023 15:04:23 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 10:35:41 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 16:09:22 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 15:55:20 +0100 |
wenzelm |
tuned, following ML_Statistics.monitor;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2023 15:39:21 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:42:13 +0100 |
wenzelm |
clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:16:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 28 Feb 2023 17:12:39 +0100 |
wenzelm |
simplified somewhat pointless error message (see also 0189fe0f6452);
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 21:47:25 +0100 |
wenzelm |
tuned: avoid redundant white space;
|
file |
diff |
annotate
|