aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-01 17:43:13 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1998-10-01 17:43:13 +0000
commit6d06073ac1917748f13739d430202064407b00d5 (patch)
tree233947f912271430117bc574577887022da88ce4 /coq
parentb24d17040eef9941d35f72e430a6bb0bda71b2c8 (diff)
Updated maintainer tags to remove lego email address.
Diffstat (limited to 'coq')
-rw-r--r--coq/coq-syntax.el2
-rw-r--r--coq/coq.el1
-rw-r--r--coq/example.v2
3 files changed, 4 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index c104d14b..dc8f7ad7 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1,7 +1,7 @@
;; coq-syntax.el Font lock expressions for Coq
;; Copyright (C) 1997, 1998 LFCS Edinburgh.
;; Author: Thomas Kleymann and Healfdene Goguen
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
;; $Id$
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$
diff --git a/coq/example.v b/coq/example.v
index 00220114..58580c65 100644
--- a/coq/example.v
+++ b/coq/example.v
@@ -2,6 +2,8 @@
Example proof script for testing Coq Proof General.
$Id$
+
+ Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
*)
(****************************************************************************)