1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq.el b/coq/coq.el
index 18540d7c..c0303a90 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1,6 +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>
 
 ;; $Id$