[isabelle-dev] Aquamacs emacs

David Aspinall David.Aspinall at ed.ac.uk
Mon May 17 14:47:02 CEST 2010

> 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.

If you hit this problem within the first 5 mins perhaps you have a 
recipe to reproduce it?

The last (non-spam) comment on the ticket suggests it is due to a change 
in Isabelle since Isabelle2009.


Doesn't Mercurial have a tool to do a binary chop across through commits 
to help isolate this?

  - D.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the isabelle-dev mailing list