diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.html b/html/news.html index 374526e7..f3e0068f 100644 --- a/html/news.html +++ b/html/news.html @@ -13,7 +13,7 @@ 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 upcoming pre-release (available from Dec 15th) +Please download the upcoming pre-release (available soon) which has offending addresses removed. </p> </li> |