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

Nadezhda Baklanova Nadezhda.Baklanova at irit.fr
Thu Jun 21 17:50:17 CEST 2012

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. 


More information about the isabelle-dev mailing list