NEWS
changeset 31306 a74ee84288a0
parent 31304 00a9c674cf40
child 31308 3fd52453ae81
     1.1 --- a/NEWS	Sat May 30 15:25:46 2009 +0200
     1.2 +++ b/NEWS	Sat May 30 15:53:19 2009 +0200
     1.3 @@ -28,9 +28,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 -* Eliminated old Method.add_methods and related cominators for "method
     1.8 -args".  INCOMPATIBILITY, need to use simplified Method.setup
     1.9 -introduced in Isabelle2009.
    1.10 +* Eliminated old Attrib.add_attributes, Method.add_methods and related
    1.11 +cominators for "args".  INCOMPATIBILITY, need to use simplified
    1.12 +Attrib/Method.setup introduced in Isabelle2009.
    1.13  
    1.14  
    1.15