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. Larry
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@mailbroy.informatik.tu-muenchen.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ Isabelle-dev mailing list Isabelle-dev@mailbroy.informatik.tu-muenchen.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev