From 5d88695801e3c7db8c8dcc829f1bcbdc51809b2f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 16:39:15 +0000
Subject: Updated for 3.1 release

---
 html/download.phtml | 25 ++++++++++++++-----------
 1 file changed, 14 insertions(+), 11 deletions(-)

(limited to 'html')

diff --git a/html/download.phtml b/html/download.phtml
index 4d692215..fa56b047 100644
--- a/html/download.phtml
+++ b/html/download.phtml
@@ -51,17 +51,17 @@ To run Proof General, you <strong>must</strong> have:
 </p>
 <ul>
 <li>
-Version 20.4 or later (21.1 is recommended)
+Version 21.1 or later 
 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 (20.5 recommended) of the much poorer 
+<b>or</b> version 20.5 or later 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
-Unix variants and NT.
+Unix variants and Windows 95/98/NT.
 </li>
 <li>
 One or more of the supported proof assistants.  Or write your own
@@ -106,7 +106,7 @@ All components mentioned above are distributed under the GPL license.
 
 
 <h2><a name="stable">
-    Proof General Version 3.0, released 26th November 1999
+    Proof General Version 3.1, released 23rd March 2000
     </a>
 </h2>
 
@@ -115,13 +115,16 @@ Proof General is available in two formats:
 </p>
 <ul>
   <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.0.tar.gz") ?>
+      <?php download_link("ProofGeneral-3.1.tar.gz") ?>,
+      <br>
+      or the same thing in a zip file:
+      <?php download_link("ProofGeneral-3.1.zip") ?>,
   </li>
  <li> Linux RPM package:
-      <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
+      <?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?>
      <br>
      You probably don't need the 
-      <?php download_link("ProofGeneral-3.0-1.src.rpm",
+      <?php download_link("ProofGeneral-3.1-1.src.rpm",
 	"source RPM") ?>.
  </li>
 </ul>
@@ -146,8 +149,8 @@ with XEmacs 21.1 and FSF Emacs 20.4.
 It supports Coq version 6.3, LEGO version 1.3.1 and
 Isabelle99.
 <p>
-Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 2.1.
+Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.0.
 <p>
 Check the latest <?php fileshow("ProofGeneral/BUGS","BUGS"); ?> file
 (also 
@@ -169,7 +172,7 @@ please
 To use Proof General, simply unpack the sources with 
 </p>
  <blockquote>
-   <tt>tar xpzf ProofGeneral-3.0.tar.gz</tt>
+   <tt>tar xpzf ProofGeneral-3.1.tar.gz</tt>
  </blockquote>
 <p>
 (use <tt>gunzip</tt> first in place of <tt>z</tt> if you don't have
@@ -189,7 +192,7 @@ If you use the RPM package, <var>directory</var> is
 Further customization is possible via the Customize menus in
 Emacs.  
 <br>
-See the <?php fileshow("ProofGeneral-3.0/INSTALL","INSTALL")?> 
+See the <?php fileshow("ProofGeneral-3.1/INSTALL","INSTALL")?> 
 file in the distribution for more details.
 </p>
 <p>
-- 
cgit v1.2.3