From f65abf7bebf70421c7cd990db2ab688542c6de0b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 8 Feb 2004 15:32:27 +0000
Subject: Update email and web addresses

---
 twelf/twelf-font.el | 2 +-
 twelf/twelf-old.el  | 2 +-
 twelf/twelf.el      | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'twelf')

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$
 ;;
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$
 ;;
diff --git a/twelf/twelf.el b/twelf/twelf.el
index ad2d9ace..b1b8f1fe 100644
--- a/twelf/twelf.el
+++ b/twelf/twelf.el
@@ -2,7 +2,7 @@
 ;;
 ;; Copyright (C) 2000 LFCS Edinburgh. 
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
-;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;;
 ;; $Id$
 ;;
@@ -204,4 +204,4 @@
   (cdr twelf-syntax-menu))
   
 
-(provide 'twelf)
\ No newline at end of file
+(provide 'twelf)
-- 
cgit v1.2.3