diff options
Diffstat (limited to 'twelf/twelf-old.el')
| -rw-r--r-- | twelf/twelf-old.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/twelf/twelf-old.el b/twelf/twelf-old.el index 41e570f3..ac5273ad 100644 --- a/twelf/twelf-old.el +++ b/twelf/twelf-old.el @@ -1,7 +1,7 @@ ;; twelf-old.el Port of old Twelf Emacs mode ;; ;; Author: Frank Pfenning -;; 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$ ;; |