diff options
| -rw-r--r-- | doc/NewDoc.texi | 12 | ||||
| -rw-r--r-- | generic/proof.el | 4 |
2 files changed, 12 insertions, 4 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 diff --git a/generic/proof.el b/generic/proof.el index cdc3b5a5..4fad6308 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -6,10 +6,6 @@ ;; ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ;; -;; Thanks to Rod Burstall, Martin Hofmann, -;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens -;; for helpful comments and code. -;; ;; $Id$ ;; |