diff options
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! |