diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/PG-adapting.texi | 11 |
1 files changed, 11 insertions, 0 deletions
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 |