From f2a591d98c9c3d6a67278334fb433983cb98f67e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Nov 2005 12:19:41 +0000
Subject: Fix Pierre's email

---
 coq/coq.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 7e148af2..b22c1b91 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: Pierre Courtieu <courtieu@lri.fr>
+;; Authors: Healfdene Goguen, Pierre Courtieu
+;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
 
 ;; $Id$ 
 
-- 
cgit v1.2.3