diff options
Diffstat (limited to 'generic/proof-indent.el')
-rw-r--r-- | generic/proof-indent.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index f6c26e8a..deb15a4f 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -1,7 +1,7 @@ ;; proof-indent.el Generic Indentation for Proof Assistants ;; Copyright (C) 1997, 1998 LFCS Edinburgh ;; Authors: 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$ ;; |