1 files changed, 3 insertions, 1 deletions
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$
 ;;