News items by David Aspinall.

• 9th February 2000
  Countdown to Proof General 3.1 begins. This will be a bug fix releaase. A few bugs have been fixed in recent Proof General development releases, one important one is fixing support for non-mule versions of FSF Emacs (thanks to Pierre Courtieu for raising it to my attention). I would like to release PG 3.1 next month so that everyone can benefit.

  In the meantime, please that you would like to see fixed, and consider trying out the current development release.

• 14th December 1999
  

  I'm pleased to say that Proof General will be demonstrated at ETAPS 2000. Here are some draft slides for the presentation (any comments would be welcome). A presentation of Proof General based on these slides was given at Rutherford Appleton Laboratory last week.

• 26th November 1999
  

  Proof General 3.0 is released!

Click here for old news.