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 /lego | |
parent | b24d17040eef9941d35f72e430a6bb0bda71b2c8 (diff) |
Updated maintainer tags to remove lego email address.
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego-syntax.el | 2 | ||||
-rw-r--r-- | lego/lego.el | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index 9d770a43..67bb4e45 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -1,7 +1,7 @@ ;; 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: LEGO Team <lego@dcs.ed.ac.uk> +;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ;; ;; $Id$ ;; diff --git a/lego/lego.el b/lego/lego.el index 540a887b..372d779d 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -1,7 +1,8 @@ ;; lego.el Major mode for LEGO proof assistants ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. -;; Author: Thomas Kleymann and Dilip Sequeira -;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> +;; Author: Thomas Kleymann and Dilip Sequeira +;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> + ;; ;; $Id$ ;; |