wenzelm [Sun, 18 Feb 2024 15:15:07 +0100] rev 79663
clarified signature: more comprehensive operations;
wenzelm [Sun, 18 Feb 2024 15:03:47 +0100] rev 79662
clarified signature: more explicit types;
wenzelm [Sun, 18 Feb 2024 13:32:44 +0100] rev 79661
clarified signature: emphasize physical db files;
wenzelm [Sun, 18 Feb 2024 13:01:00 +0100] rev 79660
tuned: afford untyped/unscoped update;
wenzelm [Sun, 18 Feb 2024 12:33:43 +0100] rev 79659
clarified signature: avoid ill-defined type java.net.URL;
wenzelm [Sun, 18 Feb 2024 12:32:54 +0100] rev 79658
unused;
wenzelm [Sat, 17 Feb 2024 21:28:28 +0100] rev 79657
tuned: afford untyped/unscoped update;
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;
wenzelm [Sat, 17 Feb 2024 21:21:00 +0100] rev 79655
clarified signature: more explicit types/scopes;
wenzelm [Sat, 17 Feb 2024 21:18:23 +0100] rev 79654
tuned names;