# HG changeset patch
# User wenzelm
# Date 1475829094 -7200
# Node ID cffd5f5372062d5b4afb8eed1f821f1d2ec25db5
# Parent  9f96e4da30641cc82238a9802bdaa9816f3696f8
moved to proper release (cf. 4a72b37ac4b8);
tuned;

diff -r 9f96e4da3064 -r cffd5f537206 NEWS
--- 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.