# HG changeset patch
# User wenzelm
# Date 1514499455 -3600
# Node ID 9b3eb67ab579cd55796a73a0f296021729d2ce19
# Parent  5f082b1fa9fa8970505a58de71a8a24dcdcafaef
NEWS;

diff -r 5f082b1fa9fa -r 9b3eb67ab579 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.