diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-02 14:25:23 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-02 14:25:23 +0000 |
| commit | 18314b0a1712c6af10151c22ebde87bcb36611c5 (patch) | |
| tree | ec7901a6281a25897dceeef78656d63bb62b6313 /coq | |
| parent | 1740210c5f11e2ead43dcbebe055c40f89d08304 (diff) | |
changed maintainer information to lego@dcs and isabelle@dcs .
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 1 | ||||
| -rw-r--r-- | coq/coq.el | 1 | ||||
| -rw-r--r-- | coq/example.v | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index dc8f7ad7..4e1c8c14 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -2,6 +2,7 @@ ;; Copyright (C) 1997, 1998 LFCS Edinburgh. ;; Author: Thomas Kleymann and Healfdene Goguen ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> +;; Please let us know if you could maintain this package! ;; $Id$ @@ -2,6 +2,7 @@ ;; 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! ;; $Id$ diff --git a/coq/example.v b/coq/example.v index 58580c65..d652daab 100644 --- a/coq/example.v +++ b/coq/example.v @@ -4,6 +4,7 @@ $Id$ Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> + Please let us know if you could maintain this example file! *) (****************************************************************************) |