News items by David Aspinall.
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.
Click here for old news.