From a377479a7228bc45f065cd10fe69aec51dc5ce5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 13:31:05 +0000
Subject: Updates

---
 html/about.phtml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'html/about.phtml')

diff --git a/html/about.phtml b/html/about.phtml
index fe139990..e3e244af 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -1,5 +1,4 @@
-<!-- <h2><a name="about">About Proof General</a></h2> -->
-<h2>The Proof General project</h2>
+<h2>About the Proof General project</h2>
 <p>
 The forefather of Proof General was LEGO mode, begun in 1994 at the <a
 href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Thomas Kleymann.  LEGO
-- 
cgit v1.2.3