From 8c8850eb2df838e34ff3ed9fab40d2d6a76489d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Nov 1999 16:05:51 +0000
Subject: Updates

---
 html/download.phtml | 23 ++++++++++++++++++++++-
 html/functions.php3 |  2 +-
 html/main.phtml     |  5 ++++-
 3 files changed, 27 insertions(+), 3 deletions(-)

(limited to 'html')

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 &lt;courtieu@lri.fr&gt;</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>
-- 
cgit v1.2.3