--- a/NEWS Sat May 30 22:37:38 2009 +0200
+++ b/NEWS Sun May 31 14:15:07 2009 +0200
@@ -33,6 +33,11 @@
Attrib/Method.setup introduced in Isabelle2009.
+*** System ***
+
+* Discontinued support for Poly/ML 4.x versions.
+
+
New in Isabelle2009 (April 2009)
--------------------------------