From 061347349e4495e663b08e2b1631a83ab5b1c1e7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 13:04:43 +0000
Subject: Join paras

---
 html/main.html | 2 --
 1 file changed, 2 deletions(-)

(limited to 'html/main.html')

diff --git a/html/main.html b/html/main.html
index ec891cf3..eaea379d 100644
--- a/html/main.html
+++ b/html/main.html
@@ -5,8 +5,6 @@ currently based on Emacs.
 It has been developed at the
 <a href="http://www.lfcs.informatics.ed.ac.uk/">LFCS</a>
 in the <a href="http://www.ed.ac.uk/">University of Edinburgh</a>.
-</p>
-<p>
 Proof General 
 works best under 
 <a href="http://www.xemacs.org/">XEmacs</a>, but can also be used with 
-- 
cgit v1.2.3