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

---
 generic/proof-compat.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-compat.el')

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index dd5d541c..2b28187e 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -1,7 +1,7 @@
 ;; proof-compat.el   Operating system and Emacs version compatibility
 ;;
 ;; Copyright (C) 2000-2002 LFCS Edinburgh. 
-;; Author:      David Aspinall <da@dcs.ed.ac.uk> and others
+;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
-- 
cgit v1.2.3