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