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
_______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
