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

Proof General Version 3.3, released 10th September 2001

This version of Proof General has been tested with XEmacs 21.4 and (briefly) with GNU Emacs 20.7 (it does not support GNU Emacs 21.x). It supports Coq version 7.x, LEGO version 1.3.1 and Isabelle2002.

• gzip'ed tar file: ,
  or the same thing in a zip file: ,
• Linux RPM package:

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

Proof General Version 3.2, released 2nd October 2000

This version of Proof General has been tested with XEmacs 21.1 and (briefly) with GNU 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:
  Also a .

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 GNU 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 GNU 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 GNU 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 .

Proof General Version 2.0, released 16th December 1998

This version of Proof General has been tested with XEmacs 20.4 and GNU 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 .