From 954a8a14c96f2d6a57852360e44c09a30508d829 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 24 Jan 2004 00:43:31 +0000 Subject: pre-release coming soon --- html/news.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.

-- cgit v1.2.3