tuned;
authorwenzelm
Fri Dec 22 21:23:06 2017 +0100 (18 months ago)
changeset 67266bf41a57e159f
parent 67265 f32287c95432
child 67267 c5994f1fa0fa
child 67269 42696c5a16ab
tuned;
NEWS
     1.1 --- a/NEWS	Fri Dec 22 21:05:54 2017 +0100
     1.2 +++ b/NEWS	Fri Dec 22 21:23:06 2017 +0100
     1.3 @@ -74,7 +74,7 @@
     1.4  arguments into this format.
     1.5  
     1.6  * Action "isabelle.preview" is able to present more file formats,
     1.7 -notably bibtex database files and plain text files.
     1.8 +notably bibtex database files and ML files.
     1.9  
    1.10  * Action "isabelle.draft" is similar to "isabelle.preview", but shows a
    1.11  plain-text document draft.