Updates for 3.0 release.

2 files changed, 18 insertions, 13 deletions

diff --git a/html/download.phtml b/html/download.phtml
index 893b5af9..8347ed09 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -37,12 +37,13 @@ To run Proof General, you should have:
 </p>
 <ul>
 <li>
-Version 20.4 or later of <a href="http://www.xemacs.org">XEmacs</a>
+Version 20.4 or later (21.1 is recommended)
+of <a href="http://www.xemacs.org">XEmacs</a>
 (this UK 
 <a href="http://sunsite.doc.ic.ac.uk/Mirrors/ftp.xemacs.org/pub/xemacs/">
 ftp mirror</a> may help).
 <br>
-<b>or</b> version 20.2 or later of the much poorer 
+<b>or</b> version 20.2 or later (20.4 recommended) of the much poorer 
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 <br>
 Both Emacsen are available for a variety of platforms, including
@@ -60,7 +61,7 @@ For FSF Emacs, a version of <tt>func-menu.el</tt> to get
 <?php link_root("features#funcmenu","function menus") ?>.
 <br>I haven't been able to find a recent version of this that
 works with FSF Emacs, I'd be grateful if anyone can send me
-a pointer or a hacked version which does. 
+a pointer or a hacked version. 
 Proof General works fine without this feature.
 </ul>
 <p>
@@ -72,7 +73,7 @@ GPL license.
 
 
 <h2><a name="stable">
-    Proof General Version 2.1, released 24th August 1999
+    Proof General Version 3.0, released 26th November 1999
     </a>
 </h2>
 
@@ -81,13 +82,13 @@ Proof General is available in two formats:
 </p>
 <ul>
   <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-2.1.tar.gz") ?>
+      <?php download_link("ProofGeneral-3.0.tar.gz") ?>
   </li>
  <li> Linux RPM package:
-      <?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?>
+      <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
      <br>
      You probably don't need the 
-      <?php download_link("ProofGeneral-2.1-1.noarch.rpm",
+      <?php download_link("ProofGeneral-3.0-1.noarch.rpm",
 	"source RPM") ?>.
  </li>
 </ul>
@@ -99,7 +100,7 @@ and documentation (in Info and HTML formats).
 </p>
 <p>
 Documentation is available in other formats
-here <?php link_root("download","here") ?>.  
+here <?php link_root("doc","here") ?>.  
 If you want to format the documentation yourself,
 you may like to download the
 <?php download_link("ProofGeneralPortrait.eps.gz", 
@@ -108,11 +109,11 @@ you may like to download the
 
 <p>
 This version of Proof General has been tested
-with XEmacs 20.4, XEmacs 21.1 and FSF Emacs 20.3.
+with XEmacs 21.1 and FSF Emacs 20.4.
 It supports Coq version 6.3, LEGO version 1.3.1 and
-some pre-release versions of Isabelle version 99.
-Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 2.0.
+Isabelle99.
+Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 2.1.
 </p>
 
 
@@ -121,7 +122,7 @@ for a summary of changes since version 2.0.
 To use Proof General, simply unpack the sources with 
 </p>
  <blockquote>
-   <tt>tar -xpzf ProofGeneral-2.1.tar.gz</tt>
+   <tt>tar -xpzf ProofGeneral-3.0.tar.gz</tt>
  </blockquote>
 <p>
 (use <tt>gunzip</tt> first in place of -z if you don't have GNU tar),<br>
diff --git a/html/oldrel.phtml b/html/oldrel.phtml
index 2fcf505d..380b165c 100644
--- a/html/oldrel.phtml
+++ b/html/oldrel.phtml
@@ -26,6 +26,10 @@ some pre-release versions of Isabelle version 99.
       <?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>.
  </li>
 </ul>
+<p>
+Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 2.0.
+</p>
 
 
 <h2>Proof General Version 2.0, released 16th December 1998</h2>