diff options
| author | David Aspinall | 1998-11-09 16:08:15 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 16:08:15 +0000 |
| commit | 43750f921ad8c1c21c7ca3dcd96d624957cfdc0c (patch) | |
| tree | cc274c11af2c1313ecb94179363f901257fd6c06 /doc | |
| parent | 5f2e909816303f19e26b074e27ee2a2bd5bc11f8 (diff) | |
Added acknowledgements to doc. Removed from code.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/NewDoc.texi | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/NewDoc.texi b/doc/NewDoc.texi index 9362d6fa..206b36e4 100644 --- a/doc/NewDoc.texi +++ b/doc/NewDoc.texi @@ -1111,6 +1111,18 @@ Yves Bertot. David Aspinall provided the Proof General name and images. An early version of this manual was prepared by Dilip Sequeira. The present version was written by David Aspinall and Thomas Kleymann. +During the development of Proof General, the following people helped +by providing feedback, testing, or code: +Pascal Brisset, +Rod Burstall, +Paul Callaghan, +Martin Hofmann, +James McKinna, +Mark Ruys, +Martin Steffen, +Perdita Stevens, +and Markus Wenzel. Thanks to all of you! + @node References @unnumberedsec References |