From f65abf7bebf70421c7cd990db2ab688542c6de0b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 15:32:27 +0000
Subject: Update email and web addresses

---
 pgkit/pgip.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pgkit')

diff --git a/pgkit/pgip.el b/pgkit/pgip.el
index c218a97f..30c4a687 100644
--- a/pgkit/pgip.el
+++ b/pgkit/pgip.el
@@ -1,7 +1,7 @@
 ;; pgip.el Proof General instance for PGIP protocol (for Isabelle)
 ;; Copyright (C) 2003 LFCS Edinburgh.
 ;;
-;; Author:              David Aspinall <da@dcs.ed.ac.uk>
+;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;;
 ;; $Id$
 ;;
-- 
cgit v1.2.3