From b1be674c8dd5511953758155366de4a0aabfaeb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 17:04:06 +0000
Subject: Missing para

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 4a7b6094..3a7994bf 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -13,6 +13,7 @@ Proof General <?php fileshow("ProofGeneral/FAQ", "FAQ");?>.
 Please send questions or suggestions for inclusion to
 <a href="mailto:proofgen@dcs.ed.ac.uk">proofgen@dcs.ed.ac.uk</a>,
 thanks.
+</p>
 <li><b>28th April 2000</b>
 <p>
 A minor patch to Proof General 3.1 is released today.  To check what
-- 
cgit v1.2.3