diff options
Diffstat (limited to 'generic/proof-site.el')
-rw-r--r-- | generic/proof-site.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index a9407fa7..d21e9081 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -2,7 +2,7 @@ ;; ;; Copyright (C) 1998 LFCS Edinburgh. ;; Authors: David Aspinall, Thomas Kleymann -;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> +;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ;; ;; $Id$ ;; |