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 ***