diff options
| author | David Aspinall | 1999-11-16 16:05:51 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-16 16:05:51 +0000 |
| commit | 8c8850eb2df838e34ff3ed9fab40d2d6a76489d6 (patch) | |
| tree | f58044eb4d67176e4418f65b23c12b154a3188af /html | |
| parent | 8247e2f5be2e0da25e49f676ebc2ab461b131b98 (diff) | |
Updates
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 23 | ||||
| -rw-r--r-- | html/functions.php3 | 2 | ||||
| -rw-r--r-- | html/main.phtml | 5 |
3 files changed, 27 insertions, 3 deletions
diff --git a/html/download.phtml b/html/download.phtml index 4eceec96..a0648543 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -41,7 +41,7 @@ you may wish to check the 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 -Isabelle version 99. +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. @@ -215,6 +215,27 @@ we can make our CVS repository accessible to you. Please Please note that we do not support these old releases in any way. </p> + +<h4>Proof General Version 2.1, released 24th August 1999</h4> + +<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. +<ul> + <li> gzip'ed tar file: + <?php download_link("ProofGeneral-2.1.tar.gz") ?> + </li> + <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") ?>. + </li> +</ul> + + <h4>Proof General Version 2.0, released 16th December 1998</h4> <p> diff --git a/html/functions.php3 b/html/functions.php3 index efa23165..39166af4 100644 --- a/html/functions.php3 +++ b/html/functions.php3 @@ -58,7 +58,7 @@ function dt($string) { /* FIXME: for now, just inline them. */ function footnote ($text) { - print "<p><small><i>[" . $text . "]</i></small></p>"; + print "<p><i><small>[" . $text . "]</small></i></p>"; } /* A hyper-link with optional mouse over text. diff --git a/html/main.phtml b/html/main.phtml index 548edc72..21409081 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -48,7 +48,7 @@ including: <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. <br> Maintained by - <a href="mailto:courtieu@lri.fr">Pierre Courtieu <courtieu@lri.fr></a>. + <a href="mailto:courtieu@lri.fr">Pierre Courtieu</a>. </div> </td> </tr> @@ -103,6 +103,9 @@ made available in our developers release. </p> <p> +To read more about what features Proof General +provides, <a href="features.phtml">click here</a>. +<br> To see what Proof General looks like in use, have a look at this <a href="screenshot.phtml">screenshot</a>. </p> |