Re: [isabelle] Isabelle2008
Thanks for the suggestions.
This looks like you have a recently updated Mac OS X with X11
provided by Apple. The X11 display by Apple is to blame -- something
like 3 weeks ago it stopped supporting symbol copy-paste in XEmacs
as it seems. It does not matter if XEmacs is run locally on the Mac
or remotely on a Linux box, with local display on Mac OS.
I can imagine that both Apple and XEmacs maintainers have screwed it
up -- if there are any XEmacs maintainers left at all. You could
try to install a different X11 for Mac OS, such as http://xquartz.macosforge.org/
I just tried this but no luck, copy/paste still doesn't work correctly.
Note that on Mac OS, GNU Emacs 22/23 is represented by Aquamacs and
Carbon Emacs, which both work somehow.
I tried these versions out, but the xsymbol keyboard shortcuts I'm
used to don't work there, at least with Isabelle2008.
It was still worth a try...
This archive was generated by a fusion of
Pipermail (Mailman edition) and