From 5c6f56b5b49c5fcf16f9a14a60c111d77165ccf0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 20:36:24 +0000
Subject: Added credits section

---
 doc/PG-adapting.texi | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index c56d866c..ee57de5c 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -223,6 +223,7 @@ downloads, etc.
 
 @menu
 * Future::
+* Credits::
 @end menu
 
 @node Future
@@ -261,6 +262,16 @@ details, or to become involved, see
 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}.
+Much of the content is generated automatically from Emacs docstrings,
+some of which have been written by other Proof General developers.
+
+
+
 @node Beginning with a new prover
 @chapter Beginning with a new prover
 
-- 
cgit v1.2.3