diff options
| author | David Aspinall | 1998-11-03 16:32:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 16:32:03 +0000 |
| commit | b88f7a0d2d6b8faf330bb7cf074b22e1da757a2b (patch) | |
| tree | ada96563752af411fa6ebd6352111b37defd4561 /doc | |
| parent | 10f0a533df4bd24b0d594415c229adab6d332fe6 (diff) | |
Corrected credit for original texi
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/NewDoc.texi | 5 |
1 files changed, 2 insertions, 3 deletions
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 |