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