[isabelle-dev] Aquamacs emacs
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?
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the isabelle-dev