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