From 51775bf205b79170fb88707240b3e87d25aff1a0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 5 Oct 2003 16:18:37 +0000 Subject: Fix HTML --- html/news.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html') diff --git a/html/news.html b/html/news.html index 90d00427..bc67d6b6 100644 --- a/html/news.html +++ b/html/news.html @@ -20,7 +20,7 @@ Details are here. Please update your links!. The server zermelo.dcs.ed.ac.uk hosting Proof General for the last 5 years will be retired soon. Please refer to the web site using the URL -www.proofgeneral.org.