# HG changeset patch
# User wenzelm
# Date 1637409198 -3600
# Node ID 98b3c7ab8c0f022e4b853cc4579a55a24ff0bf75
# Parent  ed3adabf0dbe529fb867c63a91cb2eba3b167f44
tuned;

diff -r ed3adabf0dbe -r 98b3c7ab8c0f NEWS
--- 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.