Dear all, there is a minor issue in jEdit IDE: when text is copied from jEdit and pasted anywhere except jEdit (any other text editor), x-symbols are copied as unicode characters but not as Isabelle codes. For example, lambda is pasted as Greek character lambda and not as \<lambda>. If the file with copied text is later opened in emacs ProofGeneral, there are lots of parsing errors at these unicode characters.
Regards, Nadezhda _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
