*** 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. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev