This a try for commit, just changed the name of the maintainer of coq.el

by my name Pierre Courtieu.

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index d355a4c0..9efcf21f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1,7 +1,7 @@
 ;; coq.el Major mode for Coq proof assistant
 ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
 ;; Author: Healfdene Goguen
-;; Maintainer: Patrick Loiseleur <Patrick.Loiseleur@lri.fr> 
+;; Maintainer: Pierre Courtieu <courtieu@lri.fr>
 
 ;; $Id$