Updated maintainer tags to remove lego email address.

20 files changed, 69 insertions, 37 deletions

diff --git a/INSTALL b/INSTALL
index a2ab1866..3254236f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -40,6 +40,17 @@ and assistant-specific elisp files are kept in subdirectories of
 proof-home so that the autoload directory calculations are correct.
 
 
+   In case of difficulty, please contact us via the address below.
+   
+   Proof General maintainer <proofgen@dcs.ed.ac.uk>
+   School of Computer Science,
+   Division Of Informatics,
+   University of Edinburgh.
+   Edinburgh.
+   
+   http://www.dcs.ed.ac.uk/home/proofgen
+
+
 ----------------------------------------------------------------------
 
 Customization for Coq
diff --git a/Makefile.devel b/Makefile.devel
index 6e3771b7..961d67e5 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -3,6 +3,8 @@
 ## 
 ## Author:  David Aspinall <da@dcs.ed.ac.uk>
 ##
+## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+##
 ## Developer use only, not part of distribution.
 ##
 ##    make clean	  - remove intermediate files
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index c104d14b..dc8f7ad7 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1,7 +1,7 @@
 ;; coq-syntax.el Font lock expressions for Coq
 ;; Copyright (C) 1997, 1998 LFCS Edinburgh. 
 ;; Author: Thomas Kleymann and Healfdene Goguen
-;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 
 ;; $Id$
 
diff --git a/coq/coq.el b/coq/coq.el
index 18540d7c..c0303a90 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1,6 +1,7 @@
 ;; coq.el Major mode for Coq proof assistant
 ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
 ;; Author: Healfdene Goguen and Thomas Kleymann
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 
 ;; $Id$
 
diff --git a/coq/example.v b/coq/example.v
index 00220114..58580c65 100644
--- a/coq/example.v
+++ b/coq/example.v
@@ -2,6 +2,8 @@
     Example proof script for testing Coq Proof General.
  
     $Id$
+
+    Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 *)    
 
 (****************************************************************************)
diff --git a/doc/Makefile b/doc/Makefile
index aeeadacb..e1e11be4 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,6 +3,8 @@
 ##
 ## Author:  David Aspinall <da@dcs.ed.ac.uk>
 ##
+## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+##
 ## $Id$
 ## 
 ###########################################################################
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$
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/images/README b/images/README
index a487c929..e9bc5489 100644
--- a/images/README
+++ b/images/README
@@ -1,10 +1,16 @@
+$Id$
+
 Icons for Proof General.
 
 David Aspinall <da@dcs.ed.ac.uk>
 
-$Id$
+Contact:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 
 The images in this directory were made with The Gimp
 (check www.gimp.org).
 
 
+
+
+
+
diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML
index bd0ccc3e..a9ca39ea 100644
--- a/isa/ProofGeneral.ML
+++ b/isa/ProofGeneral.ML
@@ -1,8 +1,9 @@
 (* 
-   ProofGeneral.ML
-
    Isabelle configuration for Proof General.
 
+   Author:  David Aspinall <da@dcs.ed.ac.uk>
+   Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk>
+
    $Id$
 
 *)
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index 11d75de9..a6b946f5 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -1,6 +1,8 @@
 ;; isa-syntax.el Syntax expressions for Isabelle
+;; Copyright (C) 1994-1998 LFCS Edinburgh. 
 ;;
-;; David Aspinall <da@dcs.ed.ac.uk>
+;; Author:      David Aspinall <da@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/isa/isa-thy-mode.el b/isa/isa-thy-mode.el
index f537bcb5..ba3e9bec 100644
--- a/isa/isa-thy-mode.el
+++ b/isa/isa-thy-mode.el
@@ -1,13 +1,14 @@
-;;; isa-thy-mode.el - Mode for Isabelle theory files.
-;;;
-;;; Author:  David Aspinall <da@dcs.ed.ac.uk>
-;;;
-;;; Taken from Isamode, version: 3.6 1998/09/02 11:40:45
-;;;
-;;; $Id$
-;;;
-;;; NAMESPACE management: all functions and variables declared
-;;; in this file begin with isa-thy-
+;; isa-thy-mode.el - Mode for Isabelle theory files.
+;;
+;; Author:      David Aspinall <da@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;;
+;; Taken from Isamode, version: 3.6 1998/09/02 11:40:45
+;;
+;; $Id$
+;;
+;; NAMESPACE management: all functions and variables declared
+;; in this file begin with isa-thy-
 
 (require 'isa)
 
diff --git a/isa/isa.el b/isa/isa.el
index 429ed4e6..73af5c92 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -1,6 +1,8 @@
 ;; isa.el Major mode for Isabelle proof assistant
 ;; Copyright (C) 1994-1998 LFCS Edinburgh. 
-;; Author: David Aspinall
+;;
+;; Author:      David Aspinall <da@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
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$
 ;;
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$
 ;;