diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
| commit | 6d06073ac1917748f13739d430202064407b00d5 (patch) | |
| tree | 233947f912271430117bc574577887022da88ce4 /coq | |
| parent | b24d17040eef9941d35f72e430a6bb0bda71b2c8 (diff) | |
Updated maintainer tags to remove lego email address.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 2 | ||||
| -rw-r--r-- | coq/coq.el | 1 | ||||
| -rw-r--r-- | coq/example.v | 2 |
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$ @@ -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> *) (****************************************************************************) |