Remove 3.3 download, encourage test version use.

1 files changed, 15 insertions, 3 deletions

diff --git a/html/download.html b/html/download.html
index f3292cea..86c55835 100644
--- a/html/download.html
+++ b/html/download.html
@@ -41,17 +41,25 @@ See <a href="#prereq">below</a> for software pre-requisites for running Proof Ge
 </p>
 
 <h2><a name="stable">
-    Proof General Version 3.3, released 10th September 2001
+    Proof General Version 3.4, to be released August 2002.
     </a>
 </h2>
 
 <p>
+The next stable version of Proof General will be 3.4, to be released
+in August.  Until then, please try a 
+<a href="develdownload.html">development release</a> and
+<a href="feedback">report any difficulties</a>, 
+to help make the next release of Proof General as 
+robust as possible.  Thanks!
+
+<!--
+<p>
 Proof General is available as an archive and an RPM package.
 </p>
 <table width="80%" cellspacing=8>
 <tr>
 <td width=150>gzip'ed tar file</td>
-<!-- WARNING!  Lines below automatically edited by makefile. -->
 <td><?php download_link("ProofGeneral-3.3.tar.gz") ?></td>
 </tr>
 <tr>
@@ -82,6 +90,9 @@ Note that we don't ship an SRPM now, since you can build the RPM directly
 from the source tarball using <tt>rpm -ta</tt>.
 </p>
 <p>
+-->
+
+<!--
 This version of Proof General has been tested
 with XEmacs 21.4 and (briefly with) GNU Emacs 20.7.
 It supports earlier versions of both Emacsen, but
@@ -101,11 +112,12 @@ Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
 <?php fileshow("ProofGeneral/coq/BUGS","coq/BUGS, "); ?>
 <?php fileshow("ProofGeneral/isa/BUGS","isa/BUGS, "); ?>
 <?php fileshow("ProofGeneral/isar/BUGS","isar/BUGS," ); ?>)
-<!-- <?php fileshow("ProofGeneral/hol98/BUGS","hol98/BUGS"); ?>) -->
 before reporting problems.  If you find a problem not already mentioned, 
 please 
 <?php hlink("feedback.html","send us a note","Feedback form")?>.
 </p>
+-->
+
 <br>
 <br>