[isabelle-dev] Aquamacs emacs
lp15 at cam.ac.uk
Sat May 15 15:38:17 CEST 2010
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.
More information about the isabelle-dev