News items by David Aspinall.
Minor patch 3.1.6 released today. This turns off toolbar enablers if you're running XEmacs on Solaris; because of strange Solaris problems, buttons are disabled too often there. (You can live without this part of the patch by customizing the variable proof-toolbar-use-button-enablers). The patch also removes the use of an "interval timer" when proof-toolbar-use-button-enablers is off, since a user reported being unable to start itimers unless running as root (likely an operating system configuration problem). Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.
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.