--- a/NEWS Tue Aug 17 18:04:08 2010 +0200
+++ b/NEWS Tue Aug 17 18:41:55 2010 +0200
@@ -139,6 +139,11 @@
change in semantics.
+*** System ***
+
+* Discontinued support for Poly/ML 5.0 and 5.1 versions.
+
+
New in Isabelle2009-2 (June 2010)
---------------------------------