diff options
| author | David Aspinall | 2002-07-17 12:30:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-17 12:30:16 +0000 |
| commit | 8c32dfb9c7e2d388f4f5f6517e12a70a68bf9555 (patch) | |
| tree | 190c603df33810f24329284930c08011f37c560e /html/news.html | |
| parent | 573cc798a9feaa8371f145d8009f5726d10ee1ae (diff) | |
Updates
Diffstat (limited to 'html/news.html')
| -rw-r--r-- | html/news.html | 4 |
1 files changed, 2 insertions, 2 deletions
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! |