Updates

1 files changed, 22 insertions, 1 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>