NEWS
changeset 31304 00a9c674cf40
parent 31001 7e6ffd8f51a9
child 31306 a74ee84288a0
     1.1 --- a/NEWS	Sat May 30 14:26:33 2009 +0200
     1.2 +++ b/NEWS	Sat May 30 15:00:23 2009 +0200
     1.3 @@ -26,6 +26,14 @@
     1.4  by the code generator; see Predicate.thy for an example.
     1.5  
     1.6  
     1.7 +*** ML ***
     1.8 +
     1.9 +* Eliminated old Method.add_methods and related cominators for "method
    1.10 +args".  INCOMPATIBILITY, need to use simplified Method.setup
    1.11 +introduced in Isabelle2009.
    1.12 +
    1.13 +
    1.14 +
    1.15  New in Isabelle2009 (April 2009)
    1.16  --------------------------------
    1.17