From 79db0c8ddf3fd96198a604213f8c684b1cbeca7c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 13 Sep 2000 15:48:53 +0000
Subject: Minor changes and improvements

---
 html/doc.phtml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index bb0de678..f771b5a5 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -24,7 +24,6 @@ announcements by joining our <a href="mailinglist.phtml">mailing
 list</a>.
 </p>
 
-<hr>
 <h2>References</h2>
 
 <p> Ideas for the future of Proof General are given here:
-- 
cgit v1.2.3