News items by David Aspinall.
Testing phase for Proof General 3.2. Please try out the pre-release version of Proof General, 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.