From 8cb24a0678a575d9cd84e0cd0aeac81f2bd910f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jun 1999 13:56:31 +0000
Subject: Tweaks

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

(limited to 'html/about.phtml')

diff --git a/html/about.phtml b/html/about.phtml
index ebf309f3..857a7ad1 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -9,7 +9,7 @@ and the code was made generic.
 </p>
 
 <p>
-This generic basis for Proof General was developed at the
+This generic basis for Proof General was further developed at the
 <a href="http://www.dcs.ed.ac.uk/lfcs">LFCS</a> by Kleymann, Sequeira, 
 Goguen and Aspinall (in order of appearance). 
 It follows some of the ideas used in 
-- 
cgit v1.2.3