From 3d00a973733c36f07a3664b05637d190defcdf3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 15:33:03 +0000
Subject: Updated.

---
 pgkit/pgip.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pgkit/pgip.el b/pgkit/pgip.el
index 3136b315..c218a97f 100644
--- a/pgkit/pgip.el
+++ b/pgkit/pgip.el
@@ -1,5 +1,5 @@
 ;; pgip.el Proof General instance for PGIP protocol (for Isabelle)
-;; Copyright (C) 2001 LFCS Edinburgh.
+;; Copyright (C) 2003 LFCS Edinburgh.
 ;;
 ;; Author:              David Aspinall <da@dcs.ed.ac.uk>
 ;;
-- 
cgit v1.2.3