NEWS
changeset 67304 3cf05d7cf174
parent 67303 a77c0dd8bb7c
child 67305 ecb74607063f
     1.1 --- a/NEWS	Sat Dec 30 14:15:44 2017 +0100
     1.2 +++ b/NEWS	Sat Dec 30 20:04:05 2017 +0100
     1.3 @@ -81,6 +81,12 @@
     1.4  * Action "isabelle.draft" is similar to "isabelle.preview", but shows a
     1.5  plain-text document draft.
     1.6  
     1.7 +* When loading text files, the Isabelle symbols encoding UTF-8-Isabelle
     1.8 +is only used if there is no conflict with existing Unicode sequences in
     1.9 +the file. Otherwise, the fallback encoding is plain UTF-8 and Isabelle
    1.10 +symbols remain in literal \<symbol> form. This avoids accidental loss of
    1.11 +Unicode content when saving the file.
    1.12 +
    1.13  
    1.14  *** Isabelle/VSCode Prover IDE ***
    1.15