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