From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/news.phtml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'html/news.phtml')

diff --git a/html/news.phtml b/html/news.phtml
index 214fd57b..f717ad77 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -22,6 +22,7 @@ and the separate "adapting" manual, in
 or  
 <?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
 (Info files are included in the distribution).
+</p>
 <li><b>14th Sep 2000</b>
 <p>
 Improvements to web pages.  Graphics made smaller, text more concise.
-- 
cgit v1.2.3