changeset 68067 | b91c4acc1aaf |
parent 68033 | ad4b8b6892c3 |
child 68073 | fad29d2a17a5 |
--- a/NEWS Wed May 02 17:35:51 2018 +0200 +++ b/NEWS Wed May 02 19:18:29 2018 +0200 @@ -110,7 +110,8 @@ notably bibtex database files and ML files. * Action "isabelle.draft" is similar to "isabelle.preview", but shows a -plain-text document draft. +plain-text document draft. Both are available via the menu "Plugins / +Isabelle". * When loading text files, the Isabelle symbols encoding UTF-8-Isabelle is only used if there is no conflict with existing Unicode sequences in