changeset 67266 | bf41a57e159f |
parent 67263 | 449a989f42cd |
child 67295 | 9b3eb67ab579 |
--- a/NEWS Fri Dec 22 21:05:54 2017 +0100 +++ b/NEWS Fri Dec 22 21:23:06 2017 +0100 @@ -74,7 +74,7 @@ arguments into this format. * Action "isabelle.preview" is able to present more file formats, -notably bibtex database files and plain text files. +notably bibtex database files and ML files. * Action "isabelle.draft" is similar to "isabelle.preview", but shows a plain-text document draft.