moved to proper release (cf. 4a72b37ac4b8);
authorwenzelm
Fri Oct 07 10:31:34 2016 +0200 (2016-10-07)
changeset 64073cffd5f537206
parent 64072 9f96e4da3064
child 64074 7dccbbd8d71d
child 64078 0b22328a353c
moved to proper release (cf. 4a72b37ac4b8);
tuned;
NEWS
     1.1 --- a/NEWS	Fri Oct 07 10:23:50 2016 +0200
     1.2 +++ b/NEWS	Fri Oct 07 10:31:34 2016 +0200
     1.3 @@ -161,6 +161,9 @@
     1.4  
     1.5  * New symbol \<circle>, e.g. for temporal operator.
     1.6  
     1.7 +* New document and ML antiquotation @{locale} for locales, similar to
     1.8 +existing antiquotation @{class}.
     1.9 +
    1.10  * Mixfix annotations support delimiters like \<^control>\<open>cartouche\<close> --
    1.11  this allows special forms of document output.
    1.12  
    1.13 @@ -1115,9 +1118,6 @@
    1.14  
    1.15  *** Document preparation ***
    1.16  
    1.17 -* Text and ML antiquotation @{locale} for locales, similar to existing
    1.18 -antiquotations for classes.
    1.19 -
    1.20  * Commands 'paragraph' and 'subparagraph' provide additional section
    1.21  headings. Thus there are 6 levels of standard headings, as in HTML.
    1.22