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.
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
