NEWS;
authorwenzelm
Thu Dec 28 23:17:35 2017 +0100 (17 months ago)
changeset 672959b3eb67ab579
parent 67294 5f082b1fa9fa
child 67296 888aa91f0556
NEWS;
NEWS
     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