News items by David Aspinall.
New! For developers, a web-browsable mirror of the Proof General cvs is available here.
New! Proof General . Please send questions or suggestions for inclusion to proofgen@dcs.ed.ac.uk, thanks.
A minor patch to Proof General 3.1 is released today. To check what version you have, look at the variable proof-general-version set in proof-site.el. (It is not recorded in the tar file name or package version). The current patch, to 3.1.4, was made to fix a problem with Isabelle and theory file retraction, accidently introduced in 3.1. See for details. NB: This patch was first made on 4th April, but didn't quite solve the problem. Thanks to Mike Squire for sending a patch to fix the fix.
Further improvements are being introduced in the new 3.2 pre-releases, see the development download page, as usual.
Proof General 3.1 is now available from the . Enjoy!
Click here for old news.