[isabelle-dev] copying x-symbols from jEdit has an issue
Nadezhda.Baklanova at irit.fr
Thu Jun 21 17:50:17 CEST 2012
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.
More information about the isabelle-dev