NEWS
changeset 67295 9b3eb67ab579
parent 67266 bf41a57e159f
child 67297 86a099f896fc
     1.1 --- a/NEWS	Thu Dec 28 23:15:00 2017 +0100
     1.2 +++ b/NEWS	Thu Dec 28 23:17:35 2017 +0100
     1.3 @@ -73,6 +73,8 @@
     1.4  "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
     1.5  arguments into this format.
     1.6  
     1.7 +* Bibtex database files (.bib) are semantically checked.
     1.8 +
     1.9  * Action "isabelle.preview" is able to present more file formats,
    1.10  notably bibtex database files and ML files.
    1.11