News items by David Aspinall.

• 4th April 2000

  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.3, was made to fix a problem with Isabelle and theory file retraction, accidently introduced in 3.1. See for details.

  Further improvements are being introduced in the new 3.2 pre-releases, see the development download page, as usual.

• 23rd March 2000

  Proof General 3.1 is now available from the . Enjoy!

Click here for old news.