diff options
Diffstat (limited to 'lego/lego.el')
| -rw-r--r-- | lego/lego.el | 5 |
1 files changed, 3 insertions, 2 deletions
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$ ;; |