NEWS

--- a/NEWS	Tue Sep 16 17:28:37 2008 +0200
+++ b/NEWS	Tue Sep 16 18:01:24 2008 +0200
@@ -255,6 +255,9 @@
 
 *** System ***
 
+* Multithreading for Poly/ML 5.1 is no longer supported, only for
+Poly/ML 5.2 or later.
+
 * The Isabelle "emacs" tool provides a specific interface to invoke
 Proof General / Emacs, with more explicit failure if that is not
 installed (the old isabelle-interface script silently falls back on