--- a/NEWS Thu Aug 19 16:08:59 2010 +0200
+++ b/NEWS Thu Aug 19 17:41:52 2010 +0200
@@ -172,6 +172,11 @@
change in semantics.
+*** System ***
+
+* Discontinued support for Poly/ML 5.0 and 5.1 versions.
+
+
New in Isabelle2009-2 (June 2010)
---------------------------------