diff options
| author | Thomas Kleymann | 1998-11-06 16:18:57 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-06 16:18:57 +0000 |
| commit | 5f2e909816303f19e26b074e27ee2a2bd5bc11f8 (patch) | |
| tree | ce813bdca7110b786c3517879105d1c7caa15a26 /lego/lego-syntax.el | |
| parent | 612d4dc6a021662d85d5a0ced9b17d1cb0c8cd2d (diff) | |
new maintainer for LEGO Proof General
Diffstat (limited to 'lego/lego-syntax.el')
| -rw-r--r-- | lego/lego-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el index 64399546..a49ee574 100644 --- a/lego/lego-syntax.el +++ b/lego/lego-syntax.el @@ -1,8 +1,8 @@ ;; lego-syntax.el Syntax of LEGO ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. ;; Author: Thomas Kleymann and Dilip Sequeira -;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Please let us know if you could maintain this package! +;; Maintainer: Paul Callaghan <P.C.Callaghan@durham.ac.uk> + ;; ;; $Id$ ;; |