[isabelle-dev] Aquamacs emacs
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.
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
More information about the isabelle-dev