Email Gateway (Aug 18 2022 at 14:45): Email Gateway (Aug 18 2022 at 14:45):From: david streader <dstr@cs.waikato.ac.nz>
Hi
I am using isabelle on a mac with the downloaded disk image
containing aqumacs emacs.
All works with the exception of cut and paste. Cut fails to do any
thing and paste often pastes the last but one copy. And this is only
true for .thy the Haskell files .hs files can be edited just fine.
I have tried updateing aqumacs 1.7 that came with isabelle to version
1.9 but the problem persists.
Any ideas how to fix this?
david streader
Email Gateway (Aug 18 2022 at 14:45):From: Tobias Nipkow <nipkow@in.tum.de>
Dear David,
This seems to be a known (and very annoying) feature and I am not sure
there is a known fix. I remember that on some emacses it makes a
difference whether you use the emacs cut and paste command or the
systems ones (apple-C and apple-V). In the end I went back to xemacs
21.4, but that no longer works on Mac OS 10.6, snow leopard (I am still
on 10.5.8).
Tobias
david streader schrieb:
Email Gateway (Aug 18 2022 at 14:45):From: Lawrence Paulson <lp15@cam.ac.uk>
I have the best luck with the Carbon Emacs Package. You can set it up so that the option key behaves like meta. The only thing I couldn't get working was the "delete forward" key.
http://homepage.mac.com/zenitani/emacs-e.html
Larry Paulson
Email Gateway (Aug 18 2022 at 14:45):From: Makarius <makarius@sketis.net>
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
particular.
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.
Makarius
Last updated: Apr 25 2024 at 01:08 UTC