diff options
Diffstat (limited to '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 3caf3408..513c900d 100644 --- a/html/news.html +++ b/html/news.html @@ -13,8 +13,8 @@ Please refer to the web site using the URL and do not send any email to the old .org addresses (contact David Aspinall directly). Also, beware that the old addresses are built into the help function of Proof General and the bug reporting commands. -Please download the latest pre-release which has offending addresses -removed. +Please download the upcoming pre-release (available from Dec 15th) +which has offending addresses removed. </p> <li><b>25th September 2003</b> |