From bf79ae1a4e40f30b547aa5180c820d30e5dfd0e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Apr 2000 13:18:58 +0000
Subject: Update copyright dates, comments.

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

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index fe002ffc..4f0aeafd 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,9 LFCS Edinburgh. 
+;; Copyright (C) 1998-2000 LFCS Edinburgh. 
 ;; Authors: David Aspinall
 ;;
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
-- 
cgit v1.2.3