NEWS
changeset 61571 9c50eb3bff50
parent 61567 e7d4dac7a79f
child 61579 634cd44bb1d3
     1.1 --- a/NEWS	Wed Nov 04 17:14:17 2015 +0100
     1.2 +++ b/NEWS	Wed Nov 04 18:14:28 2015 +0100
     1.3 @@ -124,6 +124,9 @@
     1.4  recursively, adding appropriate text style markup. These are typically
     1.5  used in the short form \<^emph>\<open>...\<close> and \<^bold>\<open>...\<close>.
     1.6  
     1.7 +* Document antiquotation @{footnote} outputs LaTeX source recursively,
     1.8 +marked as \footnote{}. This is typically used in the short form \<^footnote>\<open>...\<close>.
     1.9 +
    1.10  
    1.11  *** Isar ***
    1.12