Please note that we do not support these old releases in any way.

Proof General Version 3.2, released 2nd October 2000

This version of Proof General has been tested with XEmacs 21.1 and (briefly with) FSF Emacs 20.7. It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99-1.

• gzip'ed tar file: ,
  or the same thing in a zip file: ,
• Linux RPM package:
  You probably don't need the .

Check the file for a summary of changes since version 3.1.

Proof General Version 3.1, released 23rd March 2000

This version of Proof General has been tested with XEmacs 21.1 and FSF Emacs 20.4. It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99.

• gzip'ed tar file:
  or zip file: ,
• RPM package:
  The .

Check the file for a summary of changes since version 3.0.

Proof General Version 3.0, released 26th November 1999

This version of Proof General has been tested with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.
It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99.

• gzip'ed tar file:
• Linux RPM package:
  The source RPM is .

Check the file for a summary of changes since version 2.1.

Proof General Version 2.1, released 24th August 1999

This version of Proof General has been tested with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.
It supports Coq version 6.3, LEGO version 1.3.1 and some pre-release versions of Isabelle version 99.

• gzip'ed tar file:
• Linux RPM package:
  The source RPM is .

Check the file for a summary of changes since version 2.0.

Proof General Version 2.0, released 16th December 1998

This version of Proof General has been tested with XEmacs 20.4 and FSF Emacs 20.2, 20.3.
It supports Coq version 6.2, LEGO version 1.3.1, and Isabelle version 98-1.

• gzip'ed tar file:
• Linux RPM package:
  The source RPM is .