changed maintainer information to lego@dcs and isabelle@dcs .

4 files changed, 5 insertions, 4 deletions

diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML
index a9ca39ea..100aa4ad 100644
--- a/isa/ProofGeneral.ML
+++ b/isa/ProofGeneral.ML
@@ -2,7 +2,7 @@
    Isabelle configuration for Proof General.
 
    Author:  David Aspinall <da@dcs.ed.ac.uk>
-   Contact: Proof General maintainer <proofgen@dcs.ed.ac.uk>
+   Contact: Isabelle maintainer <isabelle@dcs.ed.ac.uk>
 
    $Id$
 
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index a6b946f5..0fef96ab 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -2,7 +2,7 @@
 ;; Copyright (C) 1994-1998 LFCS Edinburgh. 
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Maintainer:  Isabelle maintainer <isabelle@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/isa/isa-thy-mode.el b/isa/isa-thy-mode.el
index ba3e9bec..81ffab54 100644
--- a/isa/isa-thy-mode.el
+++ b/isa/isa-thy-mode.el
@@ -1,7 +1,7 @@
 ;; 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>
+;; Maintainer:  Isabelle maintainer <isabelle@dcs.ed.ac.uk>
 ;;
 ;; Taken from Isamode, version: 3.6 1998/09/02 11:40:45
 ;;
diff --git a/isa/isa.el b/isa/isa.el
index d870579d..f38d1cb2 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -2,7 +2,8 @@
 ;; Copyright (C) 1994-1998 LFCS Edinburgh. 
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Maintainer:  Isabelle maintainer <isabelle@dcs.ed.ac.uk>
+
 ;;
 ;; $Id$
 ;;