--- a/NEWS Sun Oct 18 17:20:20 2015 +0200
+++ b/NEWS Sun Oct 18 17:24:24 2015 +0200
@@ -22,9 +22,8 @@
* Toplevel theorem statement 'proposition' is another alias for
'theorem'.
-* HTML presentation uses the standard IsabelleText font and Unicode
-rendering of Isabelle symbols like Isabelle/Scala/jEdit. The former
-print mode "HTML" looses its special meaning.
+* There is a new short form of antiquotations: \<^foo>\<open>...\<close> is
+equivalent to @{"\<^foo>" \<open>...\<close>} for control symbols.
*** Prover IDE -- Isabelle/Scala/jEdit ***
@@ -57,6 +56,10 @@
*** Document preparation ***
+* HTML presentation uses the standard IsabelleText font and Unicode
+rendering of Isabelle symbols like Isabelle/Scala/jEdit. The former
+print mode "HTML" looses its special meaning.
+
* Commands 'paragraph' and 'subparagraph' provide additional section
headings. Thus there are 6 levels of standard headings, as in HTML.