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

---
 html/news.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/news.html')

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