diff options
| author | David Aspinall | 2000-09-29 20:36:24 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 20:36:24 +0000 |
| commit | 5c6f56b5b49c5fcf16f9a14a60c111d77165ccf0 (patch) | |
| tree | b402d0dac9db34791ee0f9694be49ad56902a0e5 /doc | |
| parent | 14bc98a8b0585445afaaa117e7111d9d874df485 (diff) | |
Added credits section
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 |