From 48243a0f744d4ce39256cf74001f8f167306e67f Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 29 Sep 2000 18:08:08 +0000
Subject: Minor change

---
 html/develdownload.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/develdownload.html b/html/develdownload.html
index 64952d62..621d518e 100644
--- a/html/develdownload.html
+++ b/html/develdownload.html
@@ -29,7 +29,7 @@ updated from that of the
 <a href="doc">last stable release</a>.
 </p>
 <p>
-You can see the current documentation: the user manual in
+Here is the pre-release documentation: 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  
-- 
cgit v1.2.3