[isabelle-dev] Aquamacs emacs

[Lawrence Paulson]

Aquamacs 2.0 was released last week (http://aquamacs.org/), and it seems to be very much better than previous versions. I have been using it without difficulties in conjunction with proof general 4.0. I didn't notice any of the old problems. Symbols display correctly; cut and paste work correctly both within Emacs and to and from other applications.
Larry