There is now a development snapshot of Proof General 4.1pre, provided by
David Aspinall:
http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.1pre110112.tgz
It looks pretty stable to me. There are only few remaining entries at
http://proofgeneral.inf.ed.ac.uk/trac/
Are there still
The question is if PG 4.1 converges sufficiently fast for Isabelle2011,
and if we should switch to the PGIP update for floating point settings.
This would mean to discontinue 4.0 and 3.x altogether.
I've been using PG 4.1 for a while now from cvs, and it works nicely,
except that I've
Quoting Makarius makar...@sketis.net:
Are there still users of PG 3.x with recent Isabelle snapshots or
versions from the repository?
I do. I recently tried to use PG 4.0 with Aquamacs 2.1. That didn't
seem to work, so I went back to PG 3.7.1.1 and Carbon Emacs 1.6 (based
on GNU Emacs
Are there still users of PG 3.x with recent Isabelle snapshots or versions
from the repository?
I am using PG 3.7.1.1 with XEmacs 21.4.21 and a recent version from the
Isabelle repository. My motivation for not switching is that PG 4.x did not
seem to work with XEmacs when I tried, and I have