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 /lego | |
| parent | 1740210c5f11e2ead43dcbebe055c40f89d08304 (diff) | |
changed maintainer information to lego@dcs and isabelle@dcs .
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego-syntax.el | 3 | ||||
| -rw-r--r-- | lego/lego.el | 4 |
2 files changed, 5 insertions, 2 deletions
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 <proofgen@dcs.ed.ac.uk> +;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> +;; 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 <proofgen@dcs.ed.ac.uk> +;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> +;; Please let us know if you could maintain this package! + ;; ;; $Id$ |