--- a/NEWS Thu Aug 14 12:49:49 2014 +0200
+++ b/NEWS Thu Aug 14 14:28:11 2014 +0200
@@ -4,6 +4,12 @@
New in this Isabelle version
----------------------------
+*** General ***
+
+* Commands 'method_setup' and 'attribute_setup' now work within a
+local theory context.
+
+
*** HOL ***
* Sledgehammer: