Re: [isabelle] Aqumacs Emacs fails to cut **.thy!
On Wed, 17 Feb 2010, david streader wrote:
I am using isabelle on a mac with the downloaded disk image containing
All works with the exception of cut and paste. Cut fails to do any
thing and paste often pastes the last but one copy.
It should work if you mark the region first, using CTRL-space the
old-fashioned way. The plain Comman-X/C/V will do the right thing.
This is not the only annoyance of Aquamacs, in particular there are some
fragilities concerning mathematical symbols and sub/superscripts in
Carbon Emacs has other problems, I've forgotten the details. At the end
of the day there is no stable Emacs for Proof General 3.7.x on Mac OS.
This archive was generated by a fusion of
Pipermail (Mailman edition) and