From c39d6a5ae0f6bc75723a6b36aff96a12123dbb4e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 13:37:45 +0000
Subject: Update year

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

diff --git a/generic/pg-user.el b/generic/pg-user.el
index a9807988..b41fb68c 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-2002 LFCS Edinburgh.
+;; Copyright (C) 2000-2008 LFCS Edinburgh.
 ;; Author:     David Aspinall and others
 ;; License:    GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
-- 
cgit v1.2.3