--- a/NEWS Mon Mar 16 17:48:02 2009 +0100
+++ b/NEWS Mon Mar 16 17:51:07 2009 +0100
@@ -603,7 +603,10 @@
or later]
* Simplified ML attribute and method setup, cf. functions Attrib.setup
-and Method.setup, as well as commands 'attribute_setup'.
+and Method.setup, as well as commands 'attribute_setup' and
+'method_setup'. INCOMPATIBILITY for 'method_setup', need to simplify
+existing code accordingly, or use plain 'setup' together with old
+Method.add_method.
* Simplified ML oracle interface Thm.add_oracle promotes 'a -> cterm
to 'a -> thm, while results are always tagged with an authentic oracle