diff options
Diffstat (limited to 'html/download.phtml')
| -rw-r--r-- | html/download.phtml | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/html/download.phtml b/html/download.phtml index ecce8cb1..81354503 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -37,14 +37,6 @@ you may wish to check the </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. -<p> -Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file -for a summary of changes since version 2.0. -<br> Proof General is available in two formats: </p> <ul> @@ -54,8 +46,9 @@ Proof General is available in two formats: <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") ?>. + You probably don't need the + <?php download_link("ProofGeneral-2.1-1.noarch.rpm", + "source RPM") ?>. </li> </ul> <p> @@ -65,6 +58,16 @@ code for LEGO, Coq, and Isabelle, installation instructions and documentation. </p> +<p> +This version of Proof General has been tested +with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3. +It supports Coq version 6.3, LEGO version 1.3.1 and +some pre-release versions of Isabelle version 99. +Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file +for a summary of changes since version 2.0. +</p> + + <h3> Easy installation! </h3> <p> To use Proof General, simply unpack the sources with |