NEWS;

--- a/NEWS	Thu Dec 28 23:15:00 2017 +0100
+++ b/NEWS	Thu Dec 28 23:17:35 2017 +0100
@@ -73,6 +73,8 @@
 "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
 arguments into this format.
 
+* Bibtex database files (.bib) are semantically checked.
+
 * Action "isabelle.preview" is able to present more file formats,
 notably bibtex database files and ML files.