Update email and web addresses

16 files changed, 21 insertions, 21 deletions

diff --git a/generic/pg-metadata.el b/generic/pg-metadata.el
index 5dcfb276..1032d684 100644
--- a/generic/pg-metadata.el
+++ b/generic/pg-metadata.el
@@ -1,7 +1,7 @@
 ;; pg-metadata.el   Persistant storage of metadata for proof scripts
 ;;
 ;; Copyright (C) 2001-2 LFCS Edinburgh. 
-;; Author:      David Aspinall <da@dcs.ed.ac.uk>
+;; Author:      David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
@@ -112,4 +112,4 @@
 
 	  
 		     
-  
\ No newline at end of file
+  
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index 61a30f2c..c185a2ff 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -1,7 +1,7 @@
 ;; pg-pgip.el	 Functions for processing PGIP for Proof General
 ;;
 ;; Copyright (C) 2000-2002 LFCS Edinburgh. 
-;; Author:   David Aspinall <da@dcs.ed.ac.uk>
+;; Author:   David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:  GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/pg-xhtml.el b/generic/pg-xhtml.el
index 402e7a85..cdd84f8f 100644
--- a/generic/pg-xhtml.el
+++ b/generic/pg-xhtml.el
@@ -1,7 +1,7 @@
 ;; pg-xhtml.el	 XHTML goal display for Proof General
 ;;
 ;; Copyright (C) 2002 LFCS Edinburgh. 
-;; Author:     David Aspinall <da@dcs.ed.ac.uk>
+;; Author:     David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:    GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/pg-xml.el b/generic/pg-xml.el
index 7f0d48e1..8a777cbd 100644
--- a/generic/pg-xml.el
+++ b/generic/pg-xml.el
@@ -1,7 +1,7 @@
 ;; pg-xml.el	 XML functions for Proof General
 ;;
 ;; Copyright (C) 2000-2002 LFCS Edinburgh. 
-;; Author:     David Aspinall <da@dcs.ed.ac.uk>
+;; Author:     David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:    GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
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$
diff --git a/generic/proof-config.el b/generic/proof-config.el
index 7d2c4594..18fbffaf 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1,10 +1,10 @@
 ;; proof-config.el  Proof General configuration for proof assistant
 ;;
-;; Copyright (C) 1998-2002 LFCS Edinburgh. 
-;; Author:      David Aspinall <da@dcs.ed.ac.uk> and others
+;; Copyright (C) 1998-2004 LFCS Edinburgh. 
+;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Maintainer:  Proof General maintainer <da+pg-feedback@inf.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
@@ -421,7 +421,7 @@ signals to the remote host."
 ;;   e) all above with GNU Emacs and XEmacs.
 ;; But it's difficult to keep track of all that!  
 ;; Please report any bad/failing colour 
-;; combinations to proofgen@dcs.ed.ac.uk
+;; combinations to da+pg-feedback@inf.ed.ac.uk
 ;;
 ;; Some of these faces aren't used by default in Proof General,
 ;; but you can use them in font lock patterns for specific
diff --git a/generic/proof-depends.el b/generic/proof-depends.el
index 57500bc8..96dbedc9 100644
--- a/generic/proof-depends.el
+++ b/generic/proof-depends.el
@@ -1,7 +1,7 @@
 ;; proof-depends.el  Theorem-theorem and theorem-definition dependencies.
 ;;
 ;; Copyright (C) 2000-2002 University of Edinburgh. 
-;; Authors:      David Aspinall <da@dcs.ed.ac.uk>
+;; Authors:      David Aspinall <David.Aspinall@ed.ac.uk>
 ;;	           Earlier version by Fiona McNeil.
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;; Status:      Experimental code
diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index 878d4669..97855cd4 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -1,7 +1,7 @@
 ;; proof-easy-config.el    Easy configuration for Proof General
 ;;
 ;; Copyright (C) 1999-2002  David Aspinall / LFCS.
-;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 42966e14..74c0004c 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -2,7 +2,7 @@
 ;;		    Configuration for site and choice of provers.
 ;;
 ;; Copyright (C) 1998-2003 LFCS Edinburgh. 
-;; Author:      David Aspinall <da@dcs.ed.ac.uk>
+;; Author:      David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/proof-system.el b/generic/proof-system.el
index c5124ee6..a334e82a 100644
--- a/generic/proof-system.el
+++ b/generic/proof-system.el
@@ -1,7 +1,7 @@
 ;; proof-system.el   Proof General functions for interfacing with proof system.
 ;;
 ;; Copyright (C) 2000 LFCS Edinburgh. 
-;; Author:      David Aspinall <da@dcs.ed.ac.uk>
+;; Author:      David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
@@ -17,4 +17,4 @@
 
 
 ;; End of proof-system.el
-(provide 'proof-system)
\ No newline at end of file
+(provide 'proof-system)
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index dde05b03..a8164b08 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -1,7 +1,7 @@
 ;; proof-toolbar.el    Toolbar for Proof General
 ;;
 ;; Copyright (C) 1998,9  David Aspinall / LFCS.
-;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 82c8c927..39416c27 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -1,7 +1,7 @@
 ;; proof-utils.el   Proof General utility functions
 ;;
 ;; Copyright (C) 1998-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$
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index c2c19a91..7f17adc2 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -1,7 +1,7 @@
 ;; proof-x-symbol.el  Support for X-Symbol package
 ;;
 ;; Copyright (C) 1998-2002 LFCS Edinburgh
-;; Author:    David Aspinall <da@dcs.ed.ac.uk>
+;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;; Id:	      $Id$
 ;;
diff --git a/generic/span-extent.el b/generic/span-extent.el
index adf85813..ffc00ca2 100644
--- a/generic/span-extent.el
+++ b/generic/span-extent.el
@@ -2,7 +2,7 @@
 ;;
 ;; Copyright (C) 1998 LFCS Edinburgh
 ;; Author:	Healfdene Goguen
-;; Maintainer:  David Aspinall <da@dcs.ed.ac.uk>
+;; Maintainer:  David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/span-overlay.el b/generic/span-overlay.el
index 6055e03a..1b9d4646 100644
--- a/generic/span-overlay.el
+++ b/generic/span-overlay.el
@@ -2,7 +2,7 @@
 ;;
 ;; Copyright (C) 1998 LFCS Edinburgh
 ;; Author:	Healfdene Goguen
-;; Maintainer:  David Aspinall <da@dcs.ed.ac.uk>
+;; Maintainer:  David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; $Id$
diff --git a/generic/texi-docstring-magic.el b/generic/texi-docstring-magic.el
index cec000b2..6577ac86 100644
--- a/generic/texi-docstring-magic.el
+++ b/generic/texi-docstring-magic.el
@@ -1,7 +1,7 @@
 ;; texi-docstring-magic.el -- munge internal docstrings into texi
 ;;
 ;; Keywords: lisp, docs, tex
-;; Author:     David Aspinall <da@dcs.ed.ac.uk>
+;; Author:     David Aspinall <David.Aspinall@ed.ac.uk>
 ;; Copyright   (C) 1998 David Aspinall
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;