NEWS

--- a/NEWS	Wed Mar 02 19:43:31 2016 +0100
+++ b/NEWS	Thu Mar 03 11:12:02 2016 +0100
@@ -205,7 +205,7 @@
 discontinued. INCOMPATIBILITY, use operations from the modules "XML" and
 "YXML" in Isabelle/ML or Isabelle/Scala.
 
-* SML/NJ is no longer supported.
+* SML/NJ and old versions of Poly/ML are no longer supported.
 
 
 New in Isabelle2016 (February 2016)