diff options
| -rw-r--r-- | html/oldrel.phtml | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/html/oldrel.phtml b/html/oldrel.phtml index 380b165c..25b39778 100644 --- a/html/oldrel.phtml +++ b/html/oldrel.phtml @@ -8,6 +8,30 @@ Please note that we do not support these old releases in any way. </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. +<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> |