I opened jedit on a file this morning and suddently all symbols appear with \<...> instead of the usual nice appearance. Only this one file is affected. Has someone any idea of what can cause that?
Typically this happens when you mix the ASCII-fied symbols (
\<…> etc.) that get display by jEdit as unicode symbols but in the file really are just ASCII with actual Unicode symbols. Then the encoding detection fails.
This can happen if you edit a .thy file with another editor and put in Unicode stuff.
Just do File → Reload with Encoding → UTF-8-Isabelle in Isabelle/jEdit. That should fix it.
Last updated: Dec 07 2023 at 20:16 UTC