From 095d5b84bdcbd966e39960dffd7dfeb423c4ddef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Mar 2002 16:03:32 +0000
Subject: Year changes

---
 generic/proof-splash.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-splash.el')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 98d17d53..0aac6bdd 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -41,7 +41,7 @@ Proof General."
 			     proof-general-version)
 	       (match-end 0))
     nil
-    "(C) LFCS, University of Edinburgh, 2001."
+    "(C) LFCS, University of Edinburgh, 2002."
     nil
     nil
 "    Please send problems and suggestions to proofgen@dcs.ed.ac.uk, 
-- 
cgit v1.2.3