From 158fb10b08c622fc8faed986bd0c4a174abd75c2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 1 Dec 1999 19:38:48 +0000
Subject: Minor.

---
 doc/ProofGeneral.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index ec1bad0f..f889d9e0 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -391,8 +391,8 @@ has been managed by David Aspinall since then.
 This manual was written by David Aspinall and Thomas Kleymann.  Some
 words found their way here from the user documentation of LEGO mode,
 prepared by Dilip Sequeira.  Healfdene Goguen supplied some text for Coq
-Proof General.  The extensive revision of this manual for Proof General
-3.0 has been made by David Aspinall.
+Proof General.  Since Proof General 2.0, this manual has been maintained
+and improved by David Aspinall.
 
 The Proof General project has benefited from funding by EPSRC
 (Applications of a Type Theory Based Proof Assistant), the EC (Types for
-- 
cgit v1.2.3