diff options
Diffstat (limited to 'twelf/twelf-font.el')
-rw-r--r-- | twelf/twelf-font.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/twelf/twelf-font.el b/twelf/twelf-font.el index 97b68527..012bfaa7 100644 --- a/twelf/twelf-font.el +++ b/twelf/twelf-font.el @@ -2,7 +2,7 @@ ;; ;; Author: Frank Pfenning ;; Taken from Twelf's emacs mode and -;; adapted for Proof General by David Aspinall <da@dcs.ed.ac.uk> +;; adapted for Proof General by David Aspinall <David.Aspinall@ed.ac.uk> ;; ;; $Id$ ;; |