NEWS
changeset 67248 68177abb2988
parent 67246 4cedf44f2af1
child 67261 bce56b5a35d5
     1.1 --- a/NEWS	Thu Dec 21 22:38:28 2017 +0100
     1.2 +++ b/NEWS	Thu Dec 21 22:41:57 2017 +0100
     1.3 @@ -70,7 +70,8 @@
     1.4  "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
     1.5  arguments into this format.
     1.6  
     1.7 -* Action "isabelle.preview" presents auxiliary text files as well.
     1.8 +* Action "isabelle.preview" is able to present more file formats,
     1.9 +notably bibtex database files and plain text files.
    1.10  
    1.11  
    1.12