From 1a7de3cb4c4c1ad15e11f8e412605e944cfa9e30 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 16:13:00 +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 1fa92de5..90d00427 100644
--- a/html/news.html
+++ b/html/news.html
@@ -17,7 +17,7 @@ Anonymous access to the Proof General CVS repository is now available!
 Details are <a href="devel">here</a>.
 </p>
 <p>
-Please <b>update your links!<b>.  The server <tt>zermelo.dcs.ed.ac.uk</tt>
+Please <b>update your links!</b>.  The server <tt>zermelo.dcs.ed.ac.uk</tt>
 hosting Proof General for the last 5 years will be retired soon.
 Please refer to the web site using the URL
 <b><a href="http://www.proofgeneral.org>www.proofgeneral.org</a></b>.
-- 
cgit v1.2.3