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

---
 hol98/hol98.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'hol98')

diff --git a/hol98/hol98.el b/hol98/hol98.el
index d45c321c..b6cf598b 100644
--- a/hol98/hol98.el
+++ b/hol98/hol98.el
@@ -2,7 +2,7 @@
 ;;
 ;; Copyright (C) 2000 LFCS Edinburgh. 
 ;;
-;; Author: David Aspinall <da@dcs.ed.ac.uk>
+;; Author: David Aspinall <David.Aspinall@ed.ac.uk>
 ;;
 ;; $Id$
 ;;
@@ -152,6 +152,6 @@
 
 
 (warn "Hol Proof General is incomplete!  Please help improve it!
-Read the manual, make improvements and send them to proofgen@dcs.ed.ac.uk")
+Read the manual, make improvements and send them to da+pg-feedback@inf.ed.ac.uk")
 
 (provide 'hol98)
-- 
cgit v1.2.3