diff -r f26a4d5e82b5 -r 9c50eb3bff50 NEWS
--- a/NEWS	Wed Nov 04 17:14:17 2015 +0100
+++ b/NEWS	Wed Nov 04 18:14:28 2015 +0100
@@ -124,6 +124,9 @@
 recursively, adding appropriate text style markup. These are typically
 used in the short form \<^emph>\<open>...\<close> and \<^bold>\<open>...\<close>.
 
+* Document antiquotation @{footnote} outputs LaTeX source recursively,
+marked as \footnote{}. This is typically used in the short form \<^footnote>\<open>...\<close>.
+
 
 *** Isar ***