[isabelle-dev] PG preferences (auto solve in particular)
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.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
More information about the isabelle-dev