Updated maintainer tags to remove lego email address.

7 files changed, 19 insertions, 18 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$
 ;;
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$
 ;;
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index cfaae0c4..25964dac 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -1,7 +1,7 @@
 ;; proof-syntax.el Generic font lock expressions
 ;; Copyright (C) 1997-1998 LFCS Edinburgh. 
 ;; Author: Healfdene Goguen, Thomas Kleymann and Dilip Sequiera
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 24b9b365..a4eeeb3d 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -1,7 +1,8 @@
 ;; proof-toolbar.el    Toolbar for Proof General
 ;;
 ;; David Aspinall <da@dcs.ed.ac.uk>
-;; 
+;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;;
 ;; $Id$
 ;;
 ;; NB: XEmacs specific code!
diff --git a/generic/proof.el b/generic/proof.el
index cd983c0e..45f10ce6 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -2,8 +2,9 @@
 ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
 ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;          Thomas Kleymann and Dilip Sequeira
-
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;;
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;;
 ;; Thanks to Robert Boyer, Rod Burstall,
 ;;           James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens
 ;;
diff --git a/generic/span-extent.el b/generic/span-extent.el
index b257f3da..91ad6ac9 100644
--- a/generic/span-extent.el
+++ b/generic/span-extent.el
@@ -1,9 +1,8 @@
-;;; This file implements spans in terms of extents, for xemacs.
-;;; Copyright (C) 1998 LFCS Edinburgh
-;;; Author: Healfdene Goguen
-
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
-
+;; This file implements spans in terms of extents, for xemacs.
+;; Copyright (C) 1998 LFCS Edinburgh
+;; Author: Healfdene Goguen
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;;
 ;; $Id$
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/generic/span-overlay.el b/generic/span-overlay.el
index c80ce0c6..6d8b270e 100644
--- a/generic/span-overlay.el
+++ b/generic/span-overlay.el
@@ -1,9 +1,9 @@
-;;; This file implements spans in terms of overlays, for emacs19.
-;;; Copyright (C) 1998 LFCS Edinburgh
-;;; Author: Healfdene Goguen
-
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
-
+;; This file implements spans in terms of extents, for emacs19.
+;; Copyright (C) 1998 LFCS Edinburgh
+;; Author: Healfdene Goguen
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;;
+;;
 ;; $Id$
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;