diff options
Diffstat (limited to 'html/oldrel.phtml')
| -rw-r--r-- | html/oldrel.phtml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/html/oldrel.phtml b/html/oldrel.phtml index 25b39778..9aa952ff 100644 --- a/html/oldrel.phtml +++ b/html/oldrel.phtml @@ -7,6 +7,35 @@ 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> @@ -14,6 +43,7 @@ Please note that we do not support these old releases in any way. 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") ?> |