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.

---
 generic/proof.el | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'generic')

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