From 3711c8e4b154b47706f3206eee9eaf3c67da792b Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 15 Dec 1998 14:29:18 +0000
Subject: radical new version of Credits and References section

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

(limited to 'coq')

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$
 
-- 
cgit v1.2.3