diff options
| author | David Aspinall | 2000-09-29 20:37:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-29 20:37:29 +0000 |
| commit | ba8cb55bba14956cf85909e630308861f11984e7 (patch) | |
| tree | 993afe1a039c10f7673a7d0bafd79c94ffd2e956 | |
| parent | 5c6f56b5b49c5fcf16f9a14a60c111d77165ccf0 (diff) | |
Typos in credits section
| -rw-r--r-- | doc/PG-adapting.texi | 4 |
1 files 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. |