diff options
Diffstat (limited to 'generic/proof.el')
-rw-r--r-- | generic/proof.el | 4 |
1 files changed, 0 insertions, 4 deletions
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$ ;; |