From 0f8a55cff4cbe629a9b669cbb63dce5fea9f61c6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:33:50 +0000
Subject: Mention Yves Bertot on about page

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

(limited to 'html')

diff --git a/html/about.phtml b/html/about.phtml
index cb9fdf29..6793fc15 100644
--- a/html/about.phtml
+++ b/html/about.phtml
@@ -9,11 +9,11 @@ and the code was made generic.
 </p>
 
 <p>
-This generic basis for Proof General was further developed at the
+This generic basis for Proof General was 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 
-<a href="http://www.inria.fr/croap/">Project CROAP</a>.
+Early on, Yves Bertot provided assistance, and Proof General follows 
+some of the ideas used in <a href="http://www.inria.fr/croap/">Project CROAP</a>.
 
 The authors and current maintainers of the various instantiations of
 Proof General are mentioned on the 
-- 
cgit v1.2.3