From 18314b0a1712c6af10151c22ebde87bcb36611c5 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Fri, 2 Oct 1998 14:25:23 +0000 Subject: changed maintainer information to lego@dcs and isabelle@dcs . --- coq/coq-syntax.el | 1 + coq/coq.el | 1 + coq/example.v | 1 + 3 files changed, 3 insertions(+) (limited to 'coq') 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 +;; Please let us know if you could maintain this package! ;; $Id$ diff --git a/coq/coq.el b/coq/coq.el index c0303a90..60dfcb14 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -2,6 +2,7 @@ ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. ;; Author: Healfdene Goguen and Thomas Kleymann ;; Maintainer: Proof General maintainer +;; 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 + Please let us know if you could maintain this example file! *) (****************************************************************************) -- cgit v1.2.3