# HG changeset patch
# User wenzelm
# Date 1237129185 -3600
# Node ID 03c120763ea8ffe2dd1ba53f940383e0569be3aa
# Parent  23d1892f8015710b6aa57ac0d90afb8fc729356d
simplified attribute and method setup;

diff -r 23d1892f8015 -r 03c120763ea8 NEWS
--- a/NEWS	Sun Mar 15 15:59:44 2009 +0100
+++ b/NEWS	Sun Mar 15 15:59:45 2009 +0100
@@ -603,6 +603,9 @@
 delicate details of mutexes and condition variables.  [Poly/ML 5.2.1
 or later]
 
+* Simplified ML attribute and method setup, cf. functions Attrib.setup
+and Method.setup, as well as commands 'attribute_setup'.
+
 * Simplified ML oracle interface Thm.add_oracle promotes 'a -> cterm
 to 'a -> thm, while results are always tagged with an authentic oracle
 name.  The Isar command 'oracle' is now polymorphic, no argument type