Proof General 3.2 is released today. Happy proving!
News items by David Aspinall. Click here for old news.