From e8ba4a2ffabadce4279abe273b652945c092bf39 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Jul 1999 11:07:46 +0000
Subject: Validator address fix.

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

(limited to 'html/main.phtml')

diff --git a/html/main.phtml b/html/main.phtml
index cb845f4b..c3f6c126 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -8,6 +8,7 @@
 
 
 <!-- <h2><a name="what">What is Proof General?</a></h2> -->
+
 <p>
 <b>Proof General</b> is a generic interface for proof assistants, 
 based on Emacs.<br>
-- 
cgit v1.2.3