Updates

1 files changed, 30 insertions, 0 deletions

diff --git a/html/oldrel.phtml b/html/oldrel.phtml
index 25b39778..9aa952ff 100644
--- a/html/oldrel.phtml
+++ b/html/oldrel.phtml
@@ -7,6 +7,35 @@
 Please note that we do not support these old releases in any way.
 </p>
 
+<h2>Proof General Version 3.1, released 23rd March 2000</h2>
+
+<p>
+This version of Proof General has been tested
+with XEmacs 21.1 and FSF Emacs 20.4.
+It supports Coq version 6.3, LEGO version 1.3.1 and
+Isabelle99.
+</p>
+
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.1.tar.gz") ?>
+       <br>or zip file:
+      <?php download_link("ProofGeneral-3.1.zip") ?>,
+  </li>
+  <li> RPM package:
+      <?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?>
+     <br>
+     The 
+      <?php download_link("ProofGeneral-3.1-1.src.rpm",
+	"source RPM") ?>.
+   </li>
+</ul>
+<p>
+Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.0.
+</p>
+
+
 
 <h2>Proof General Version 3.0, released 26th November 1999</h2>
 
@@ -14,6 +43,7 @@ Please note that we do not support these old releases in any way.
 This version of Proof General has been tested
 with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.<br>
 It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99.
+</p>
 <ul>
   <li> gzip'ed tar file: 
       <?php download_link("ProofGeneral-3.0.tar.gz") ?>