diff -r e4194168a1eb -r 34978e1b234f NEWS
--- a/NEWS	Tue Nov 10 16:03:59 2015 +0100
+++ b/NEWS	Tue Nov 10 19:03:29 2015 +0100
@@ -91,6 +91,9 @@
 standard Isabelle fonts provide glyphs to render important control
 symbols, e.g. "\<^verbatim>", "\<^emph>", "\<^bold>".
 
+* Antiquotation @{theory_text} prints uninterpreted theory source text
+(outer syntax with command keywords etc.).
+
 * Antiquotations @{noindent}, @{smallskip}, @{medskip}, @{bigskip} with
 corresponding control symbols \<^noindent>, \<^smallskip>, \<^medskip>, \<^bigskip> specify spacing formally, using
 standard LaTeX macros of the same names.