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

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 .