| Sat, 17 Feb 2024 21:28:28 +0100 | wenzelm | tuned: afford untyped/unscoped update; | changeset | files |
| 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; | changeset | files |
| Sat, 17 Feb 2024 21:21:00 +0100 | wenzelm | clarified signature: more explicit types/scopes; | changeset | files |
| Sat, 17 Feb 2024 21:18:23 +0100 | wenzelm | tuned names; | changeset | files |