diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 19:54:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 19:54:39 +0000 |
| commit | c7f85cc52c95bedaba7a4f0a113f59b69f3a41b7 (patch) | |
| tree | 7b4c687435d00ffb40db14c9bb3257c1c73fc6fa /html/download.phtml | |
| parent | 610822c84da30599179500c596109c31c9b4d7da (diff) | |
Reordering.
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 |