From a8cb1ff621cc7c84d4c3ee840a015375a8f23e21 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 14:53:01 +0000
Subject: Minor

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

(limited to 'html')

diff --git a/html/develdownload.phtml b/html/develdownload.phtml
index 204c410e..bd06179f 100644
--- a/html/develdownload.phtml
+++ b/html/develdownload.phtml
@@ -29,7 +29,7 @@ Check the
 <?php fileshow("ProofGeneral-3.2pre000525/CHANGES","CHANGES"); ?> file
 <!-- End Warning. -->
 for a summary of changes since the last stable version, and
-the planned changes to come.
+notes about work-in-progress.
 </p>
 <ul>
 <!-- WARNING!  Lines below automatically edited by makefile. -->
-- 
cgit v1.2.3