--- a/NEWS Wed Jan 02 16:37:27 2008 +0100
+++ b/NEWS Wed Jan 02 16:44:58 2008 +0100
@@ -75,8 +75,8 @@
* Multithreading.max_threads := 0 refers to the number of actual CPU
cores of the underlying machine, which is a good starting point for
optimal performance tuning. The corresponding usedir option -M allows
-"max" as an alias for "0". WARNING: this does not work on certain
-versions of Mac OS (with Poly/ML 5.1).
+"max" as an alias for "0". WARNING: does not work on certain versions
+of Mac OS (with Poly/ML 5.1).
* isatool tty runs Isabelle process with plain tty interaction;
optional line editor may be specified via ISABELLE_LINE_EDITOR