Copyright date updated

11 files changed, 13 insertions, 12 deletions

diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index e7eafec1..d35e6c87 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -1,6 +1,6 @@
 ;; pg-pgip.el	 Functions for processing PGIP for Proof General
 ;;
-;; Copyright (C) 2000 LFCS Edinburgh. 
+;; Copyright (C) 200-2001 LFCS Edinburgh. 
 ;;
 ;; Author: David Aspinall <da@dcs.ed.ac.uk>
 ;;
diff --git a/generic/pg-user.el b/generic/pg-user.el
index 0666b7b9..3557a7a9 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1,6 +1,6 @@
 ;; pg-user.el   User level commands for Proof General
 ;;
-;; Copyright (C) 2000 LFCS Edinburgh. 
+;; Copyright (C) 2000-2001 LFCS Edinburgh. 
 ;; Author:     David Aspinall and others
 ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
diff --git a/generic/pg-xml.el b/generic/pg-xml.el
index 75954108..e88c3409 100644
--- a/generic/pg-xml.el
+++ b/generic/pg-xml.el
@@ -1,6 +1,6 @@
 ;; pg-xml.el	 XML functions for Proof General
 ;;
-;; Copyright (C) 2000 LFCS Edinburgh. 
+;; Copyright (C) 2000-2001 LFCS Edinburgh. 
 ;;
 ;; Author: David Aspinall <da@dcs.ed.ac.uk>
 ;;
diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index 25c7ccfb..349a9695 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -1,6 +1,6 @@
 ;; proof-comapt.el   Operating system and Emacs version compatibility
 ;;
-;; Copyright (C) 2000 LFCS Edinburgh. 
+;; Copyright (C) 2000-2001 LFCS Edinburgh. 
 ;;
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk> and others
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
diff --git a/generic/proof-config.el b/generic/proof-config.el
index d0e553b6..e16dcb08 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1,6 +1,6 @@
 ;; proof-config.el  Proof General configuration for proof assistant
 ;;
-;; Copyright (C) 1998-2000 LFCS Edinburgh. 
+;; Copyright (C) 1998-2001 LFCS Edinburgh. 
 ;; Authors: David Aspinall
 ;;
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el
index ec50efb6..a6a501f6 100644
--- a/generic/proof-easy-config.el
+++ b/generic/proof-easy-config.el
@@ -1,6 +1,6 @@
 ;; proof-easy-config.el    Easy configuration for Proof General
 ;;
-;; Copyright (C) 1999-2000  David Aspinall / LFCS.
+;; Copyright (C) 1999-2001  David Aspinall / LFCS.
 ;; Author:     David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index 6ff63efc..d7399429 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -1,6 +1,6 @@
 ;; proof-indent.el Generic Indentation for Proof Assistants
-;; Authors: Markus Wenzel
-;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+;; Authors:	   Markus Wenzel
+;; Maintainer:     Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
 ;;
diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index a4bfbe39..6eb22de9 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -1,6 +1,6 @@
 ;; proof-menu.el  Menus, keymaps, and misc commands for Proof General
 ;;
-;; Copyright (C) 2000 LFCS Edinburgh. 
+;; Copyright (C) 2000,2001 LFCS Edinburgh. 
 ;; Authors:  David Aspinall
 ;;
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 12d20bbc..32080340 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1,6 +1,6 @@
 ;; proof-shell.el  Proof General shell mode.
 ;;
-;; Copyright (C) 1994-2000 LFCS Edinburgh. 
+;; Copyright (C) 1994-2001 LFCS Edinburgh. 
 ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;          Thomas Kleymann and Dilip Sequeira
 ;;
diff --git a/generic/proof-site.el b/generic/proof-site.el
index ed73caeb..141aae43 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -1,7 +1,7 @@
 ;; proof-site.el -- Loading stubs for Proof General.
 ;;		    Configuration for site and choice of provers.
 ;;
-;; Copyright (C) 1998,9 LFCS Edinburgh. 
+;; Copyright (C) 1998-2001 LFCS Edinburgh. 
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 7d1aef50..a4d5c71b 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -1,5 +1,6 @@
 ;; proof-syntax.el	Functions for dealing with syntax
-;; Copyright (C) 1997-2000 LFCS Edinburgh. 
+;; Copyright (C)	1997-2001 LFCS Edinburgh. 
+;;
 ;; Authors: David Aspinall, Healfdene Goguen, 
 ;;	    Thomas Kleymann, Dilip Sequiera
 ;;