NEWS
changeset 30539 c96c72709a20
parent 30538 a77b7995062a
parent 30530 03c120763ea8
child 30547 4c2514625873
     1.1 --- a/NEWS	Sat Mar 14 17:52:53 2009 +0100
     1.2 +++ b/NEWS	Sun Mar 15 16:59:17 2009 +0100
     1.3 @@ -602,6 +602,9 @@
     1.4  delicate details of mutexes and condition variables.  [Poly/ML 5.2.1
     1.5  or later]
     1.6  
     1.7 +* Simplified ML attribute and method setup, cf. functions Attrib.setup
     1.8 +and Method.setup, as well as commands 'attribute_setup'.
     1.9 +
    1.10  * Simplified ML oracle interface Thm.add_oracle promotes 'a -> cterm
    1.11  to 'a -> thm, while results are always tagged with an authentic oracle
    1.12  name.  The Isar command 'oracle' is now polymorphic, no argument type