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 . --- lego/lego-syntax.el | 3 ++- lego/lego.el | 4 +++- 2 files changed, 5 insertions(+), 2 deletions(-) (limited to 'lego') diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index 67bb4e45..5c551a6d 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -1,7 +1,8 @@ ;; lego-fontlock.el Font lock expressions for LEGO ;; Copyright (C) 1994, 1995, 1996, 1997 LFCS Edinburgh. ;; Author: Healfdene Goguen, Thomas Kleymann and Dilip Sequeira -;; Maintainer: Proof General maintainer +;; Maintainer: LEGO Team +;; Please let us know if you could maintain this package! ;; ;; $Id$ ;; diff --git a/lego/lego.el b/lego/lego.el index de053166..d0bf5c11 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -1,7 +1,9 @@ ;; lego.el Major mode for LEGO proof assistants ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. ;; Author: Thomas Kleymann and Dilip Sequeira -;; Maintainer: Proof General maintainer +;; Maintainer: LEGO Team +;; Please let us know if you could maintain this package! + ;; ;; $Id$ -- cgit v1.2.3