NEWS
changeset 67262 46540a2ead4b
parent 67261 bce56b5a35d5
child 67263 449a989f42cd
     1.1 --- a/NEWS	Fri Dec 22 17:23:01 2017 +0100
     1.2 +++ b/NEWS	Fri Dec 22 17:49:51 2017 +0100
     1.3 @@ -73,6 +73,9 @@
     1.4  * Action "isabelle.preview" is able to present more file formats,
     1.5  notably bibtex database files and plain text files.
     1.6  
     1.7 +* Action "isabelle.draft" is similar to "isabelle.preview", but shows a
     1.8 +plain-text document draft.
     1.9 +
    1.10  
    1.11  *** Isabelle/VSCode Prover IDE ***
    1.12