(News items by David Aspinall)

• 26th November 1999
  

  Proof General 3.0 is released!

(Click here for old news)