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-metadata.el | 4 ++-- generic/pg-pgip.el | 2 +- generic/pg-xhtml.el | 2 +- generic/pg-xml.el | 2 +- generic/proof-compat.el | 2 +- generic/proof-config.el | 8 ++++---- generic/proof-depends.el | 2 +- generic/proof-easy-config.el | 2 +- generic/proof-site.el | 2 +- generic/proof-system.el | 4 ++-- generic/proof-toolbar.el | 2 +- generic/proof-utils.el | 2 +- generic/proof-x-symbol.el | 2 +- generic/span-extent.el | 2 +- generic/span-overlay.el | 2 +- generic/texi-docstring-magic.el | 2 +- 16 files changed, 21 insertions(+), 21 deletions(-) (limited to 'generic') 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 +;; Author: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 and others +;; Author: David Aspinall 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 and others +;; Copyright (C) 1998-2004 LFCS Edinburgh. +;; Author: David Aspinall and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; -;; Maintainer: Proof General maintainer +;; Maintainer: Proof General maintainer ;; ;; $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 +;; Authors: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 +;; Author: David Aspinall ;; 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 and others +;; Author: David Aspinall 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 +;; Author: David Aspinall ;; 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 +;; Maintainer: David Aspinall ;; 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 +;; Maintainer: David Aspinall ;; 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 +;; Author: David Aspinall ;; Copyright (C) 1998 David Aspinall ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; -- cgit v1.2.3