From dedfaeada7a086c4bf6bbc3cce11480780f38799 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 19:32:29 +0000
Subject: Maintainer addresses

---
 isa/isa-syntax.el | 2 +-
 isa/isa.el        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index e79b9a7e..e4b77450 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:  David Aspinall <da@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/isa/isa.el b/isa/isa.el
index 892506e0..c919f3e2 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -2,7 +2,7 @@
 ;; Copyright (C) 1994-1998 LFCS Edinburgh. 
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
-;; Maintainer:  Isabelle maintainer <isabelle@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 
 ;;
 ;; $Id$
-- 
cgit v1.2.3