| changeset 61571 | 9c50eb3bff50 |
| parent 61567 | e7d4dac7a79f |
| child 61579 | 634cd44bb1d3 |
--- 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 ***