Updated web pages for 3.2 release

5 files changed, 85 insertions, 67 deletions

diff --git a/html/doc.html b/html/doc.html
index 478bf88d..b300dfba 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -1,20 +1,33 @@
 <h2>Manual</h2>
 
 <p>
-Here is the  
-<?php htmlshow("ProofGeneral-3.1/doc/ProofGeneral_toc.html","Proof General user manual","Proof General Manual") ?> in HTML form, as included in the distribution.
-<br>
-For printing you can download the 
-<?php download_link("ProofGeneral-3.1/doc/ProofGeneral.ps.gz", "gzipped ps file") ?> 
-(recommended) or the 
-<?php download_link("ProofGeneral-3.1/doc/ProofGeneral.pdf", "pdf file") ?>.
+Two manuals are included in the distribution: 
+the  
+<?php htmlshow("ProofGeneral-3.2/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?>
+and the 
+<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?>, which
+gives instructions on how to adapt Proof General to new systems.
+</p>
+<p>
+For printing you can download:
+<ul>
+<li>
+<?php download_link("ProofGeneral-3.2/doc/ProofGeneral.ps.gz", "User manual [ps]") ?> and
+<?php download_link("ProofGeneral-3.2/doc/PG-adapting.ps.gz", "Adapting manual [ps]") ?>, or
+</li>
+<li>
+<?php download_link("ProofGeneral-3.2/doc/ProofGeneral.pdf", "User manual [pdf]") ?>,
+<?php download_link("ProofGeneral-3.2/doc/PG-adapting.pdf", "Adapting manual [pdf]") ?>
+</li>
+</ul>
+<p>
+The PostScript files are recommended over the PDF.
 </p>
-
 <p>
-The manual (in HTML and Info formats), as well as other documentation,
-is included in the <a href="download">download</a>. When
-running Proof General the manual is available from the "Proof General"
-menu.  It should also appear in the system Info pages.
+Note that both manuals (in HTML and Info formats) are included in the
+<a href="download">download</a>. When running Proof General the manual
+is available from the "Proof General" menu.  It should also appear in
+the system Info pages.
 </p>
 
 
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>
 
diff --git a/html/index.html b/html/index.html
index f0cbe7a1..5d90977c 100644
--- a/html/index.html
+++ b/html/index.html
@@ -3,7 +3,7 @@
 <?php  include('head.html'); ?>
 <?php
     include('header.html');
-    include($WANTED . '.html');
+    include($WANTED . '.html' . $WANTEDFRAG);
     footer();
 ?>
 
diff --git a/html/news.html b/html/news.html
index ad738bd7..49c9e677 100644
--- a/html/news.html
+++ b/html/news.html
@@ -2,49 +2,10 @@
 
 
 <ul>
-<li><b>25th Sep 2000</b>
+<li><b>2nd October 2000</b>
 <p>
-Final week of testing for Proof General 3.2.  
-The last chance to report bugs or request (minor) improvements for this release.
-Please help us by trying out the 
-<a href="develdownload.html">pre-release</a>, especially if you are
-relying on an older or non-standard Emacs version.
-Also check to see if the new 
-manuals are useful: now split into
-the user manual in
-<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
-<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
-or  
-<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
-and the separate "adapting" manual, in
-<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
-<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> 
-or  
-<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
-(Info files are included in the distribution).
+Proof General 3.2 is released today.  Happy proving!
 </p>
-<li><b>14th Sep 2000</b>
-<p>
-Improvements to web pages.  Graphics made smaller, text more concise.
-Please <?php hlink("feedback.html","send me suggestions ","Feedback form")?>
-for further improvements.
-(I know some pages display poorly in Netscape 4.7x because 
-of patchy stylesheet support; they appear much better in IE5
-or the rather impressive recent versions of KDE's Konqueror).
-</p>
-<li><b>28th Aug 2000</b>
-<p>
-We're starting the testing phase for Proof General 3.2.  
-It has several new features and improvements.
-Please try out the <a href="develdownload.html">pre-release</a>
-version, and report any problems to us.  Your
-feedback is very important because we have no resources available for
-serious compatibility testing ourselves.
-</p>
-<p>
-We hope to release 3.2 by the end of September.
-</p>
-</li>
 </ul>
 <p>
 <!-- da: Put this line in instead if you're not me -->
diff --git a/html/oldnews.html b/html/oldnews.html
index 1ef78c93..bc61e287 100644
--- a/html/oldnews.html
+++ b/html/oldnews.html
@@ -3,6 +3,49 @@
   small_header("Proof General Old News"); 
   ?>
 <ul>
+<li><b>25th Sep 2000</b>
+<p>
+Final week of testing for Proof General 3.2.  
+The last chance to report bugs or request (minor) improvements for this release.
+Please help us by trying out the 
+<a href="develdownload.html">pre-release</a>, especially if you are
+relying on an older or non-standard Emacs version.
+Also check to see if the new 
+manuals are useful: now split into
+the user manual in
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
+and the separate "adapting" manual, in
+<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
+(Info files are included in the distribution).
+</p>
+<li><b>14th Sep 2000</b>
+<p>
+Improvements to web pages.  Graphics made smaller, text more concise.
+Please <?php hlink("feedback.html","send me suggestions ","Feedback form")?>
+for further improvements.
+(I know some pages display poorly in Netscape 4.7x because 
+of patchy stylesheet support; they appear much better in IE5
+or the rather impressive recent versions of KDE's Konqueror).
+</p>
+<li><b>28th Aug 2000</b>
+<p>
+We're starting the testing phase for Proof General 3.2.  
+It has several new features and improvements.
+Please try out the <a href="develdownload.html">pre-release</a>
+version, and report any problems to us.  Your
+feedback is very important because we have no resources available for
+serious compatibility testing ourselves.
+</p>
+<p>
+We hope to release 3.2 by the end of September.
+</p>
+</li>
 <li><b>25th May 2000</b>
 <p>
 Minor patch 3.1.6 released today.  This turns off toolbar enablers if
@@ -17,6 +60,7 @@ reported being unable to start itimers unless
 running as root (likely an operating system configuration problem).
 Thanks to Markus Wenzel and Pierre Lescanne for reporting problems.
 </p>
+</li>
 <li><b>9th May 2000</b>
 <p>
 New! For developers, a web-browsable