Sat, 17 Feb 2024 21:28:28 +0100 tuned: afford untyped/unscoped update;
wenzelm [Sat, 17 Feb 2024 21:28:28 +0100] rev 79657
tuned: afford untyped/unscoped update;
Sat, 17 Feb 2024 21:26:00 +0100 more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML;
wenzelm [Sat, 17 Feb 2024 21:26:00 +0100] rev 79656
more robust default: Scala imposes explicit "threads" value on ML, both the Poly/ML RTS and Isabelle/ML;
Sat, 17 Feb 2024 21:21:00 +0100 clarified signature: more explicit types/scopes;
wenzelm [Sat, 17 Feb 2024 21:21:00 +0100] rev 79655
clarified signature: more explicit types/scopes;
Sat, 17 Feb 2024 21:18:23 +0100 tuned names;
wenzelm [Sat, 17 Feb 2024 21:18:23 +0100] rev 79654
tuned names;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip