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 --- generic/pg-xml.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/pg-xml.el') 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 +;; Author: David Aspinall ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; ;; $Id$ -- cgit v1.2.3