1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isa.el b/isa/isa.el
index 3e2c7b0f..55405ac6 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -1,7 +1,7 @@
 ; isa-mode.el	 Emacs support for Isabelle proof assistant
 ;; Copyright (C) 1993-2000 LFCS Edinburgh, David Aspinall.
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
-;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;;
 ;; $Id$
 ;;