Changes for PG 2.1

3 files changed, 66 insertions, 15 deletions

diff --git a/html/download.phtml b/html/download.phtml
index f80e185c..76e0b78e 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -18,35 +18,46 @@ Proof General
 <p>
 You can download the latest
 stable release, 
-<a href="#stable">ProofGeneral-2.0</a>, or the latest pre-release,
+<a href="#stable">ProofGeneral-2.1</a>, or the latest pre-release,
 <!-- Warning, next line edited by make file -->
 <a href="#prerel">ProofGeneral-2.1pre990820</a>.
 There is also a complete archive 
 of the current pre-release 
 <a href="#devel">for developers</a>.
 </p>
-
+<p>
+If you are using an older version of one of the proof assistants,
+you may wish to check the 
+<a href="#previous">previous releases</a> of Proof General.
+</p>
 <hr>
 
 <h2><a name="stable">
-    Proof General Version 2.0, released 16 December 1998
+    Proof General Version 2.1, coming very soon!
+   <!-- released 23 August 1999 -->
     </a>
 </h2>
 
 <p>
 This version of Proof General has been tested
-with XEmacs 20.4 and FSF Emacs 20.2, 20.3<br>
-It is available in two formats:
+with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br>
+It supports Coq version 6.3, LEGO version 1.3.1 and
+Isabelle version 99.
+<p>
+Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
+for a summary of changes since the last stable version.
+<br>
+Proof General is available in two formats:
 </p>
 <ul>
   <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-2.0.tar.gz") ?>
+      <?php download_link("ProofGeneral-2.1.tar.gz") ?>
   </li>
  <li> Linux RPM package:
-      <?php download_link("ProofGeneral-2.0-1.noarch.rpm") ?>
+      <?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?>
      <br>
      The source RPM is 
-      <?php download_link("ProofGeneral-2.0-1.noarch.rpm","here") ?>.
+      <?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>.
  </li>
 </ul>
 <p>
@@ -61,7 +72,7 @@ and documentation.
 To use Proof General, simply unpack the sources with 
 </p>
  <blockquote>
-   <tt>tar -xpzf ProofGeneral-2.0.tar.gz</tt>
+   <tt>tar -xpzf ProofGeneral-2.1.tar.gz</tt>
  </blockquote>
 <p>
 (use <tt>gunzip</tt> in place of -z if you don't have GNU tar),<br>
@@ -105,7 +116,7 @@ Check the
 <!-- End Warning. -->
 for a summary of changes since the last stable version.
 <br>
-Please test with the latest pre-release before reporting any problems
+Please test with the current pre-release before reporting any problems
 in a pre-release.
 </p>
 
@@ -125,6 +136,7 @@ in a pre-release.
 
 <hr>
 
+
 <h2><a name="devel">For Developers</a></h2>
 <p>
 If you are interested in helping to develop the core of Proof General,
@@ -175,3 +187,28 @@ we can make our CVS repository accessible to you.  Please
 </p>
 
 
+<hr>
+<h2><a name="previous">Previous Releases</a></h2>
+
+Please note that we do not support these previous releases in any way.
+
+<h4>Proof General Version 2.0, released 16 December 1998</h4>
+
+<p>
+This version of Proof General has been tested
+with XEmacs 20.4 and FSF Emacs 20.2, 20.3.<br>
+It supports Coq version 6.2, LEGO version 1.3.1, and
+Isabelle version 98-1.<br>
+</p>
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-2.0.tar.gz") ?>
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-2.0-1.noarch.rpm") ?>
+     <br>
+     The source RPM is 
+      <?php download_link("ProofGeneral-2.0-1.noarch.rpm","here") ?>.
+ </li>
+</ul>
+<p>
diff --git a/html/main.phtml b/html/main.phtml
index 9bc22e5f..87b668b0 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -23,6 +23,8 @@ works best under
 <a href="http://www.gnu.org/software/emacs/">FSF GNU Emacs</a>.
 <br>
 You need a 20.X (or later) version in either case.
+For detailed version numbers, check the
+<?php link_root("download","download page.") ?> 
 </p>
 
 <p>
@@ -39,7 +41,6 @@ Proof General is ready-customized for several proof assistants:
      <b> Coq Proof General </b> for 
        <?php hlink("http://pauillac.inria.fr/coq/assis-eng.html",
 		   "Coq","The Coq Home Page") ?>
-       version 6.2
        <br>
 	<div style="font-size: smaller">
          First crafted by 
@@ -58,7 +59,6 @@ Proof General is ready-customized for several proof assistants:
     <td><b>LEGO Proof General</b>
        <?php hlink("http://www.dcs.ed.ac.uk/home/lego",
 		   "LEGO","The LEGO Home Page") ?>
-       version 1.3.1
        <br>
        <div style="font-size: smaller">
        First crafted by <a href="http://www.dcs.ed.ac.uk/~tms">Thomas Kleymann</a>
@@ -79,15 +79,14 @@ Proof General is ready-customized for several proof assistants:
    <td><b> Isabelle Proof General </b> for
        <?php hlink("http://www.cl.cam.ac.uk/Research/HVG/Isabelle/",
 		    "Isabelle", "The Isabelle Home Page"); ?>
-       version 98-1
       <br>
        <div style="font-size: smaller">
        Crafted and maintained by 
       <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.
       <br>
-      Preliminary support for
+      Additional maintainance and support for
       <a href="http://isabelle.in.tum.de/Isar/">Isabelle/Isar</a>
-      in Isabelle 99 is provided by
+      is provided by
       <a href="http://www.in.tum.de/~wenzelm/">Markus Wenzel</a>.
        </div>
    </td>
diff --git a/html/news.phtml b/html/news.phtml
index 74f4d367..1ef2189d 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -1,4 +1,19 @@
 <ul>
+<li><b>Very soon now</b><br>
+<!-- 23rd August 1999  -->
+ <p>
+ Proof General version 2.1 is released.
+ <br>
+  Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
+  for a summary of changes since Proof General 2.0.
+ </p>
+ <p>
+  It is recommended that all users upgrade except
+  those still using Isabelle 98-1.  Proof General 2.1
+  only supports Isabelle 99.
+ </p>
+</li>
+
 <li><b>24th June 1999</b><br>
   <p>
   New Proof General web pages go live!