Updating branch

1 files changed, 17 insertions, 18 deletions

diff --git a/html/download.html b/html/download.html
index 19cc10fb..407d8ce1 100644
--- a/html/download.html
+++ b/html/download.html
@@ -8,7 +8,7 @@ If you have already registered you do not need to do so again.
 <p>
 The statistics collected from registrations will be used to help a
 case for support for Proof General, and nothing else.  It is likely
-that development of Proof General will <i>finish very soon</i> unless
+that development of Proof General will <i>finish soon</i> unless
 we can find new resources.  As a courtesy, we do not make registration
 compulsory and I can tell from the server logs that the majority of  
 people downloading do not register.  But if you don't register
@@ -97,9 +97,8 @@ All components mentioned above are distributed under the GPL license.
 <br>
 <br>
 
-
 <h2><a name="stable">
-    Proof General Version 3.2, released 2nd October 2000
+    Proof General Version 3.3, released 5th September 2001
     </a>
 </h2>
 
@@ -108,20 +107,17 @@ Proof General is available as an archive and an RPM package.
 </p>
 <ul>
   <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.2.tar.gz") ?>,
+      <?php download_link("ProofGeneral-3.3.tar.gz") ?>,
       <br>
       or the same thing in a zip file:
-      <?php download_link("ProofGeneral-3.2.zip") ?>,
+      <?php download_link("ProofGeneral-3.3.zip") ?>.
   </li>
  <li> Linux RPM package:
-      <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?>
+      <?php download_link("ProofGeneral-3.3-1.noarch.rpm") ?>
      <br>
-     You probably don't need the 
-      <?php download_link("ProofGeneral-3.2-1.src.rpm",
-	"source RPM") ?>.
  </li>
  <li> individual files: 
-   <a href="ProofGeneral-3.2">browse the package here</a>.
+   <a href="ProofGeneral-3.3">browse the package here</a>.
  </li>
 </tr>
 
@@ -140,16 +136,19 @@ you may like to download the
 <?php download_link("ProofGeneralPortrait.eps.gz", 
 "front page image") ?>.
 </p>
-
+<p>
+We no longer offer a SRPM, since you can now 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.1 and (briefly with) FSF Emacs 20.7.
-It supports Coq version 6.3, LEGO version 1.3.1 and
-Isabelle99-1.
+with XEmacs 21.4 and (briefly with) FSF Emacs 20.7.
+It supports earlier versions of both Emacsen, but
+we recommend using the latest versions availab.e
 </p>
 <p>
-Check the <?php fileshow("ProofGeneral-3.2/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 3.1.
+Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file
+for >a summary of changes since version 3.2.
 </p>
 <p>
 Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
@@ -171,7 +170,7 @@ please
 To use Proof General, simply unpack the sources with 
 </p>
  <blockquote>
-   <tt>tar xpzf ProofGeneral-3.2.tar.gz</tt>
+   <tt>tar xpzf ProofGeneral-3.3.tar.gz</tt>
  </blockquote>
 <p>
 (use <tt>gunzip</tt> first in place of <tt>z</tt> if you don't have
@@ -197,7 +196,7 @@ Use a zip file utility to unpack it somewhere, for example
 Further customization is possible via the Customize menus in
 Emacs.  
 <br>
-See the <?php fileshow("ProofGeneral-3.2/INSTALL","INSTALL")?> 
+See the <?php fileshow("ProofGeneral-3.3/INSTALL","INSTALL")?> 
 file in the distribution for more details.
 </p>