[isabelle-dev] NEWS: more robust treatment of Unicode files

Makarius makarius at sketis.net
Sat Dec 30 21:13:12 CET 2017

*** Isabelle/jEdit Prover IDE ***

* When loading text files, the Isabelle symbols encoding UTF-8-Isabelle
is only used if there is no conflict with existing Unicode sequences in
the file. Otherwise, the fallback encoding is plain UTF-8 and Isabelle
symbols remain in literal \<symbol> form. This avoids accidental loss of
Unicode content when saving the file.

This refers to Isabelle/3cf05d7cf174, which also provides a paragraph
for the Isabelle/jEdit manual.


More information about the isabelle-dev mailing list