From b88f7a0d2d6b8faf330bb7cf074b22e1da757a2b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Nov 1998 16:32:03 +0000
Subject: Corrected credit for original texi

---
 doc/NewDoc.texi | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/NewDoc.texi b/doc/NewDoc.texi
index 699e5b29..ae66848b 100644
--- a/doc/NewDoc.texi
+++ b/doc/NewDoc.texi
@@ -808,9 +808,8 @@ Thomas Kleymann provided the impetus to develop a generic Emacs
 interface, following ideas used in Projet CROAP, and with the help of
 Yves Bertot.  David Aspinall provided the Proof General name and images.
 
-An early version of this manual was written by Thomas Kleymann and Dilip
-Sequeira.  The present version was prepared by David Aspinall and Thomas
-Kleymann.
+An early version of this manual was prepared by Dilip Sequeira.  The
+present version was written by David Aspinall and Thomas Kleymann.
 
 
 @node References
-- 
cgit v1.2.3