From af1a4c6d5b168387abd5473b249a7d17827dba8a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 12:06:05 +0000
Subject: Move 3.3 to oldrel

---
 html/oldrel.php | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

(limited to 'html/oldrel.php')

diff --git a/html/oldrel.php b/html/oldrel.php
index a5341061..1d2002b4 100644
--- a/html/oldrel.php
+++ b/html/oldrel.php
@@ -7,6 +7,28 @@
 Please note that we do not support these old releases in any way.
 </p>
 
+<h2>Proof General Version 3.3, released  10th September 2001</h2>
+<p>
+This version of Proof General has been tested
+with XEmacs 21.4 and (briefly) with GNU Emacs 20.7
+(it does <b>not</b> support GNU Emacs 21.x).
+It supports Coq version 7.x, LEGO version 1.3.1 and
+Isabelle2002.
+</p>
+
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.3.tar.gz") ?>,
+      <br>
+      or the same thing in a zip file:
+      <?php download_link("ProofGeneral-3.3.zip") ?>,
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?>
+ </li>
+</ul>
+
+
 <h2>Proof General Version 3.2, released 2nd October 2000</h2>
 <p>
 This version of Proof General has been tested
@@ -25,7 +47,7 @@ Isabelle99-1.
  <li> Linux RPM package:
       <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?>
      <br>
-     You probably don't need the 
+     Also a
       <?php download_link("ProofGeneral-3.2-1.src.rpm",
 	"source RPM") ?>.
  </li>
-- 
cgit v1.2.3