From ba8cb55bba14956cf85909e630308861f11984e7 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 29 Sep 2000 20:37:29 +0000 Subject: Typos in credits section --- doc/PG-adapting.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index ee57de5c..0529d391 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -265,8 +265,8 @@ webpage}. @node Credits @unnumberedsec Credits -This manual was put together mostly written by David Aspinall. Thomas -Kleymann wrote some of the material in @ref{Handling multiple files}. +This manual was put together and mostly written by David Aspinall. Thomas +Kleymann wrote some of the text in Chapter 8. Much of the content is generated automatically from Emacs docstrings, some of which have been written by other Proof General developers. -- cgit v1.2.3