From c8d3f05fcccfcc919ca181382a91b6fa498cadea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 13:17:19 +0000
Subject: 3.0 becomes an old release.

---
 html/oldrel.phtml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

(limited to 'html/oldrel.phtml')

diff --git a/html/oldrel.phtml b/html/oldrel.phtml
index 380b165c..25b39778 100644
--- a/html/oldrel.phtml
+++ b/html/oldrel.phtml
@@ -8,6 +8,30 @@ Please note that we do not support these old releases in any way.
 </p>
 
 
+<h2>Proof General Version 3.0, released 26th November 1999</h2>
+
+<p>
+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.
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.0.tar.gz") ?>
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
+     <br>
+     The source RPM is 
+      <?php download_link("ProofGeneral-3.0-1.noarch.rpm","here") ?>.
+ </li>
+</ul>
+<p>
+Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 2.1.
+</p>
+
+
+
 <h2>Proof General Version 2.1, released 24th August 1999</h2>
 
 <p>
-- 
cgit v1.2.3