NEWS
changeset 67297 86a099f896fc
parent 67295 9b3eb67ab579
child 67303 a77c0dd8bb7c
     1.1 --- a/NEWS	Thu Dec 28 23:39:02 2017 +0100
     1.2 +++ b/NEWS	Fri Dec 29 17:40:57 2017 +0100
     1.3 @@ -103,6 +103,9 @@
     1.4  antiquotations in control symbol notation, e.g. \<^const_name> becomes
     1.5  \isactrlconstUNDERSCOREname.
     1.6  
     1.7 +* Document antiquotation @{cite} now checks the given Bibtex entries
     1.8 +against the Bibtex database files -- only in batch-mode session builds.
     1.9 +
    1.10  * Document antiquotation @{session name} checks and prints the given
    1.11  session name verbatim.
    1.12