NEWS
changeset 61614 34978e1b234f
parent 61606 6d5213bd9709
child 61623 2f89f0b13e08
     1.1 --- a/NEWS	Tue Nov 10 16:03:59 2015 +0100
     1.2 +++ b/NEWS	Tue Nov 10 19:03:29 2015 +0100
     1.3 @@ -91,6 +91,9 @@
     1.4  standard Isabelle fonts provide glyphs to render important control
     1.5  symbols, e.g. "\<^verbatim>", "\<^emph>", "\<^bold>".
     1.6  
     1.7 +* Antiquotation @{theory_text} prints uninterpreted theory source text
     1.8 +(outer syntax with command keywords etc.).
     1.9 +
    1.10  * Antiquotations @{noindent}, @{smallskip}, @{medskip}, @{bigskip} with
    1.11  corresponding control symbols \<^noindent>, \<^smallskip>, \<^medskip>, \<^bigskip> specify spacing formally, using
    1.12  standard LaTeX macros of the same names.