From 8c32dfb9c7e2d388f4f5f6517e12a70a68bf9555 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Jul 2002 12:30:16 +0000
Subject: Updates

---
 html/develdownload.php | 9 ++++-----
 html/news.html         | 4 ++--
 2 files changed, 6 insertions(+), 7 deletions(-)

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index e51432a7..6353ca01 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -90,7 +90,7 @@ using an <a href="oldrel.php">older release</a> of Proof General.
 <p>
 <b>Prover versions:</b>
 This version has been tested with Coq 7.3, Isabelle2002, Lego 1.3.1,
-and PhoX XXX.
+and PhoX 0.8.
 </p>
 <p>
 For install instructions, see 
@@ -137,10 +137,9 @@ The complete archive also includes:
   <li> working instantiations of Proof General for new provers </li>
 </ul>
 <p>
-You probably <em>don't</em> need to download this if you're only
-interested in hacking the Emacs lisp part of the program for a prover
-that is currently supported.  Note that there are no pre-built
-documentation files in the developer's release.
+Most people don't need this.  Note that there are no pre-built
+documentation files in the developer's release (developers can
+run Make, by definition).
 </p>
 
 <?php
diff --git a/html/news.html b/html/news.html
index bff758f7..1a420a7c 100644
--- a/html/news.html
+++ b/html/news.html
@@ -17,8 +17,8 @@ improvements
 fixes and updates for recent versions of Emacs (notably GNU Emacs 21.x) 
 and various proof assistants.
 <br>
-<b>Please, please, please</b> do test the <a
-href="develdownload.html">development release</a> for us in the
+<b>Please, please, please</b> do test some <a
+href="develdownload.html">development releases</a> for us in the
 meantime and <a href="feedback">report any difficulties</a>, 
 to help make the next release of Proof General as 
 robust as possible.  Thanks!
-- 
cgit v1.2.3