[isabelle-dev] Aquamacs emacs

[David Aspinall]

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

http://proofgeneral.inf.ed.ac.uk/trac/ticket/314

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.