The Coq mailing list

[Makarius <makarius AT sketis.net>]

On Tue, 21 Apr 2009, Benjamin Werner wrote:

> On the Mac versions of emacs, this can break the undo command for 
> instance.

Anyway, which versions of Emacs work best for you on Mac OS?

Traditionally we have suggested XEmacs via Mac Ports, but recent Aquamacs 
(or Carbon Emacs) might be better since it does not impose the X11 + Mac 
Ports overhead.


        Makarius