[isabelle-dev] PG preferences (auto solve in particular)

David Aspinall David.Aspinall at ed.ac.uk
Wed Nov 11 11:24:01 CET 2009

> I am also struggling again to find a combination of PG + Emacs that 
> works on Mac OS.  GNU Emacs 23 somehow fails -- tickets will come when 
> I've managed to pin down the problems.

OK, thanks.  Would be good to bless one version.  I am keen to cut down 
the number of supported Emacs versions for PG 4, which should make 
things easier for everyone.

  - D.

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

More information about the isabelle-dev mailing list