--- a/NEWS Fri Oct 07 10:23:50 2016 +0200
+++ b/NEWS Fri Oct 07 10:31:34 2016 +0200
@@ -161,6 +161,9 @@
* New symbol \<circle>, e.g. for temporal operator.
+* New document and ML antiquotation @{locale} for locales, similar to
+existing antiquotation @{class}.
+
* Mixfix annotations support delimiters like \<^control>\<open>cartouche\<close> --
this allows special forms of document output.
@@ -1115,9 +1118,6 @@
*** Document preparation ***
-* Text and ML antiquotation @{locale} for locales, similar to existing
-antiquotations for classes.
-
* Commands 'paragraph' and 'subparagraph' provide additional section
headings. Thus there are 6 levels of standard headings, as in HTML.