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