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