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/pg-user.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/pg-user.el')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 7b22ad48..8f930382 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-2001 LFCS Edinburgh. 
+;; Copyright (C) 2000-2002 LFCS Edinburgh. 
 ;; Author:     David Aspinall and others
 ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
-- 
cgit v1.2.3