| 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 |