[isabelle-dev] copying x-symbols from jEdit has an issue

[Nadezhda Baklanova]

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