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.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index d37b12a7..bab2d3d0 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -1,6 +1,6 @@
-;; proof.el  Proof General loader.  All files require this one.
+;; proof.el  Proof General basic functions.  All files require this one.
 ;;
-;; Copyright (C) 1998,9 LFCS Edinburgh. 
+;; Copyright (C) 1998-2000 LFCS Edinburgh. 
 ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;          Thomas Kleymann and Dilip Sequeira
 ;;
-- 
cgit v1.2.3