From fff7dc5a3b1479d0a0ac8612e9545225cd016586 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 17:10:04 +0000
Subject: Updated.

---
 html/news.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/news.html b/html/news.html
index 513c900d..374526e7 100644
--- a/html/news.html
+++ b/html/news.html
@@ -1,7 +1,7 @@
 <h2>News about Proof General</h2>
 
 <ul>
-<l><b>11th December 2003</b>
+<li><b>11th December 2003</b>
 <p>
 Please <b>update your links!</b>.  The server <tt>zermelo.dcs.ed.ac.uk</tt>
 hosting Proof General for the last 5 years has now been retired.
@@ -16,6 +16,7 @@ into the help function of Proof General and the bug reporting commands.
 Please download the upcoming pre-release (available from Dec 15th) 
 which has offending addresses removed.
 </p>
+</li>
 
 <li><b>25th September 2003</b>
 <p>
@@ -32,6 +33,7 @@ updated to mention current development efforts.
 Anonymous access to the Proof General CVS repository is now available!
 Details are <a href="devel">here</a>.
 </p>
+</li>
 
 <li><b>29th August 2002</b>
 <p>
@@ -48,6 +50,8 @@ changed to the <a href="http://www.gnu.org/copyleft/gpl.html">GPL</a>.
 This relaxes the current conditions in several ways, in particular,
 allowing packaging and distribution of the code by others.
 </p>
+</li>
+
 </ul>
 <!-- da: Put this line in instead if you're not me -->
 <!-- <i>(News items entered by <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a> -->
-- 
cgit v1.2.3