1 files changed, 2 insertions, 3 deletions
diff --git a/coq/coq.el b/coq/coq.el
index b7ee72c7..a29bed2a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1,8 +1,7 @@
 ;; coq.el Major mode for Coq proof assistant
 ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
-;; Author: Healfdene Goguen and Thomas Kleymann
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
-;; Please let us know if you could maintain this package!
+;; Author: Healfdene Goguen
+;; Maintainer: Patrick Loiseleur <Patrick.Loiseleur@lri.fr> 
 
 ;; $Id$