diff options
author | 2000-09-28 15:01:50 +0000 | |
---|---|---|
committer | 2000-09-28 15:01:50 +0000 | |
commit | bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 (patch) | |
tree | 8f5733bf63e8c880e65472b3ebf745b1026698e3 /html/oldrel.html | |
parent | 2c253444d0b93cf7628ab030e6a5f1ad24fa20fd (diff) |
Renamed file
Diffstat (limited to 'html/oldrel.html')
-rw-r--r-- | html/oldrel.html | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/html/oldrel.html b/html/oldrel.html new file mode 100644 index 00000000..9aa952ff --- /dev/null +++ b/html/oldrel.html @@ -0,0 +1,112 @@ +<?php + require('functions.php3'); + small_header("Previous Releases of Proof General"); + ?> + +<p> +Please note that we do not support these old releases in any way. +</p> + +<h2>Proof General Version 3.1, released 23rd March 2000</h2> + +<p> +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. +</p> + +<ul> + <li> gzip'ed tar file: + <?php download_link("ProofGeneral-3.1.tar.gz") ?> + <br>or zip file: + <?php download_link("ProofGeneral-3.1.zip") ?>, + </li> + <li> RPM package: + <?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?> + <br> + The + <?php download_link("ProofGeneral-3.1-1.src.rpm", + "source RPM") ?>. + </li> +</ul> +<p> +Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file +for a summary of changes since version 3.0. +</p> + + + +<h2>Proof General Version 3.0, released 26th November 1999</h2> + +<p> +This version of Proof General has been tested +with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.<br> +It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99. +</p> +<ul> + <li> gzip'ed tar file: + <?php download_link("ProofGeneral-3.0.tar.gz") ?> + </li> + <li> Linux RPM package: + <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?> + <br> + The source RPM is + <?php download_link("ProofGeneral-3.0-1.noarch.rpm","here") ?>. + </li> +</ul> +<p> +Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file +for a summary of changes since version 2.1. +</p> + + + +<h2>Proof General Version 2.1, released 24th August 1999</h2> + +<p> +This version of Proof General has been tested +with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br> +It supports Coq version 6.3, LEGO version 1.3.1 and +some pre-release versions of Isabelle version 99. +<ul> + <li> gzip'ed tar file: + <?php download_link("ProofGeneral-2.1.tar.gz") ?> + </li> + <li> Linux RPM package: + <?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?> + <br> + The source RPM is + <?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>. + </li> +</ul> +<p> +Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file +for a summary of changes since version 2.0. +</p> + + +<h2>Proof General Version 2.0, released 16th December 1998</h2> + +<p> +This version of Proof General has been tested +with XEmacs 20.4 and FSF Emacs 20.2, 20.3.<br> +It supports Coq version 6.2, LEGO version 1.3.1, and +Isabelle version 98-1.<br> +</p> +<ul> + <li> gzip'ed tar file: + <?php download_link("ProofGeneral-2.0.tar.gz") ?> + </li> + <li> Linux RPM package: + <?php download_link("ProofGeneral-2.0-1.noarch.rpm") ?> + <br> + The source RPM is + <?php download_link("ProofGeneral-2.0-1.noarch.rpm","here") ?>. + </li> +</ul> + +<?php + click_to_go_back(); + footer(); +?> |