Updated web pages for 3.2 release

1 files changed, 13 insertions, 13 deletions

diff --git a/html/download.html b/html/download.html
index 48934d13..6522bbee 100644
--- a/html/download.html
+++ b/html/download.html
@@ -99,7 +99,7 @@ All components mentioned above are distributed under the GPL license.
 
 
 <h2><a name="stable">
-    Proof General Version 3.1, released 23rd March 2000
+    Proof General Version 3.2, released 2nd October 2000
     </a>
 </h2>
 
@@ -108,24 +108,24 @@ Proof General is available as an archive and an RPM package.
 </p>
 <ul>
   <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.1.tar.gz") ?>,
+      <?php download_link("ProofGeneral-3.2.tar.gz") ?>,
       <br>
       or the same thing in a zip file:
-      <?php download_link("ProofGeneral-3.1.zip") ?>,
+      <?php download_link("ProofGeneral-3.2.zip") ?>,
   </li>
  <li> Linux RPM package:
-      <?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?>
+      <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?>
      <br>
      You probably don't need the 
-      <?php download_link("ProofGeneral-3.1-1.src.rpm",
+      <?php download_link("ProofGeneral-3.2-1.src.rpm",
 	"source RPM") ?>.
  </li>
 </ul>
 <p>
 Both the tarball and the RPM package include the generic elisp
 code, <br>
-code for LEGO, Coq, and Isabelle, installation instructions
-and documentation (in Info and HTML formats).
+code for the supported provers, installation instructions
+and documentation in Info and HTML formats.
 </p>
 <p>
 Documentation is available in other formats
@@ -138,13 +138,13 @@ you may like to download the
 
 <p>
 This version of Proof General has been tested
-with XEmacs 21.1 and FSF Emacs 20.4.
+with XEmacs 21.1 and (briefly with) FSF Emacs 20.7.
 It supports Coq version 6.3, LEGO version 1.3.1 and
-Isabelle99.
+Isabelle99-1.
 </p>
 <p>
-Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 3.0.
+Check the <?php fileshow("ProofGeneral-3.2/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.1.
 </p>
 <p>
 Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
@@ -166,7 +166,7 @@ please
 To use Proof General, simply unpack the sources with 
 </p>
  <blockquote>
-   <tt>tar xpzf ProofGeneral-3.1.tar.gz</tt>
+   <tt>tar xpzf ProofGeneral-3.2.tar.gz</tt>
  </blockquote>
 <p>
 (use <tt>gunzip</tt> first in place of <tt>z</tt> if you don't have
@@ -192,7 +192,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.1/INSTALL","INSTALL")?> 
+See the <?php fileshow("ProofGeneral-3.2/INSTALL","INSTALL")?> 
 file in the distribution for more details.
 </p>