Final week of testing for Proof General 3.2. The last chance to report bugs or request (minor) improvements for this release. Please help us by trying out the pre-release, especially if you are relying on an older or non-standard Emacs version. Also check to see if the new manuals are useful: now split into the user manual in , or , and the separate "adapting" manual, in , or . (Info files are included in the distribution).
Improvements to web pages. Graphics made smaller, text more concise. Please for further improvements. (I know some pages display poorly in Netscape 4.7x because of patchy stylesheet support; they appear much better in IE5 or the rather impressive recent versions of KDE's Konqueror).
We're starting the testing phase for Proof General 3.2. It has several new features and improvements. Please try out the pre-release version, and report any problems to us. Your feedback is very important because we have no resources available for serious compatibility testing ourselves.
We hope to release 3.2 by the end of September.
News items by David Aspinall.
Click here for old news.