NEWS

--- a/NEWS	Sat May 30 14:26:33 2009 +0200
+++ b/NEWS	Sat May 30 15:00:23 2009 +0200
@@ -26,6 +26,14 @@
 by the code generator; see Predicate.thy for an example.
 
 
+*** ML ***
+
+* Eliminated old Method.add_methods and related cominators for "method
+args".  INCOMPATIBILITY, need to use simplified Method.setup
+introduced in Isabelle2009.
+
+
+
 New in Isabelle2009 (April 2009)
 --------------------------------