diff options
| author | David Aspinall | 2000-03-23 13:17:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-23 13:17:19 +0000 |
| commit | c8d3f05fcccfcc919ca181382a91b6fa498cadea (patch) | |
| tree | f8b528aa03898ce01eac687ca366207a1663ee1a /html | |
| parent | 22d15063067e13757d96ac735c06e93b675c4544 (diff) | |
3.0 becomes an old release.
Diffstat (limited to 'html')
| -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> |