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

[David Aspinall]

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