[isabelle-dev] Aquamacs emacs

Lawrence Paulson lp15 at cam.ac.uk
Mon May 17 16:02:54 CEST 2010

I'm puzzled that you run into problems so quickly. I think I have been using PG Version 4.0pre091204 for many months. And just recently, I found that the combination of it with Aquamacs-2.0 works smoothly in every way: fonts, cut and paste, etc. Once something locked up and I had to start it again, but that was after hours of work. Perhaps something is different about our systems. I'm using a Mac with snow leopard.

On 17 May 2010, at 10:46, Makarius wrote:

> On Sat, 15 May 2010, Lawrence Paulson wrote:
>> I've used PG Version 4.0pre091204 quite a bit, no problems. What goes wrong with it?
> I have tried Aquamacs-2.0 with the CVS version of Proof General (from 12-Apr-2010) for 20min, and ran into two problems within the first 5min.
> One was due to Aquamacs failing to configure fonts for the buffer. The other was PG trac item #314 (Duplication of some special messages). These mysterious message problems might be also related to the general danger of loosing synchronisation, which have never been isolated to far.
> 	Makarius
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list