From f790b5a8b44f0ecf3ecab8f88086b214444e2c95 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 11 Dec 2003 17:05:11 +0000 Subject: Updated. --- html/news.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html') 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.

  • 25th September 2003 -- cgit v1.2.3