author | wenzelm |
Fri, 22 Dec 2017 21:23:06 +0100 | |
changeset 67266 | bf41a57e159f |
parent 67265 | f32287c95432 |
child 67267 | c5994f1fa0fa |
child 67269 | 42696c5a16ab |
--- 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.