Previous Releases of Proof General

Some useful past releases are mentioned below, along with corresponding versions of Emacs. You can also browse the directory of all releases. Please note that we do not support these old releases in any way.

Proof General Version 3.6, never released

There was never a fully released 3.6 version of Proof General.

Proof General Version 3.5, released 18th April 2004.

This version of Proof General has been tested with XEmacs 21.4.14 and GNU Emacs 21.3. It supports Coq 7, Coq 8.0, Isabelle2004, Lego 1.3.1, and PhoX 0.8.

gzip'ed tar file	releases/ProofGeneral-3.5.tar.gz (1757k)
RPM packages	releases/ProofGeneral-3.5-1.noarch.rpm (1509k)
	releases/ProofGeneral-xemacs-elc-3.5-1.noarch.rpm (968k) (byte-compiled files for XEmacs)
	releases/ProofGeneral-emacs-elc-3.5-1.noarch.rpm (984k) (byte-compiled files for GNU Emacs)
individual files	browse individual files

Proof General Version 3.4, released 29th August 2002.

This version of Proof General has been tested with XEmacs 21.4 (it also works with XEmacs 21.1) and GNU Emacs 21.2.

gzip'ed tar file: releases/ProofGeneral-3.4.tar.gz (744k)
RPM package: releases/ProofGeneral-3.4-1.noarch.rpm (782k)

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: releases/ProofGeneral-3.3.tar.gz (702k)
Linux RPM package: releases/ProofGeneral-3.2-1.noarch.rpm (676k)

Check the CHANGES 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: releases/ProofGeneral-3.2.tar.gz (664k)
Linux RPM package: releases/ProofGeneral-3.2-1.noarch.rpm (676k)
Also a source RPM (668k).

Check the CHANGES 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: releases/ProofGeneral-3.1.tar.gz (548k)
RPM package: releases/ProofGeneral-3.1-1.noarch.rpm (554k)
The source RPM (551k).

Check the CHANGES 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: releases/ProofGeneral-3.0.tar.gz (518k)
Linux RPM package: releases/ProofGeneral-3.0-1.noarch.rpm (537k)
The source RPM is here (537k).

Check the CHANGES 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: releases/ProofGeneral-2.1.tar.gz (2124k)
Linux RPM package: releases/ProofGeneral-2.1-1.noarch.rpm (2093k)
The source RPM is here (2093k).

Click here to go back to the front page.

Web pages by David Aspinall.
Contact Proof General maintainer.
Last modified 04 December 2009.