Sat, 20 Nov 2021 12:53:18 +0100
changeset 74820 98b3c7ab8c0f
parent 74819 ed3adabf0dbe
child 74821 5f73bc0b9e5e
--- a/NEWS	Fri Nov 19 20:35:35 2021 +0100
+++ b/NEWS	Sat Nov 20 12:53:18 2021 +0100
@@ -564,11 +564,11 @@
 (native Windows) or ISABELLE_APPLE_PLATFORM64 (Apple Silicon).
 * Timeouts for Isabelle/ML tools are subject to system option
-"timeout_scale" --- this already used for the overall session build
-process before, and allows to adapt to slow machines. The underlying
-Timeout.apply in Isabelle/ML treats an original timeout specification 0
-as no timeout; before it meant immediate timeout. Rare INCOMPATIBILITY
-in boundary cases.
+"timeout_scale", to support adjustments to slow machines. Before,
+timeout_scale was only used for the overall session build process, now
+it affects the underlying Timeout.apply in Isabelle/ML as well. It
+treats a timeout specification 0 as "no timeout", instead of "immediate
+timeout". Rare INCOMPATIBILITY in boundary cases.