NEWS

--- a/NEWS	Tue Jan 05 23:28:43 2016 +0100
+++ b/NEWS	Wed Jan 06 00:04:15 2016 +0100
@@ -679,6 +679,9 @@
 
 * Antiquotation @{undefined} or \<^undefined> inlines (raise Match).
 
+* Antiquotation @{method NAME} inlines the (checked) name of the given
+Isar proof method.
+
 * Pretty printing of Poly/ML compiler output in Isabelle has been
 improved: proper treatment of break offsets and blocks with consistent
 breaks.