From 43750f921ad8c1c21c7ca3dcd96d624957cfdc0c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Nov 1998 16:08:15 +0000
Subject: Added acknowledgements to doc.  Removed from code.

---
 doc/NewDoc.texi  | 12 ++++++++++++
 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$
 ;;
 
-- 
cgit v1.2.3