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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 9bc1c39a..d3d10971 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1,6 +1,6 @@
 ;; proof-script.el  Major mode for proof assistant script files.
 ;;
-;; Copyright (C) 1994 - 1999 LFCS Edinburgh. 
+;; Copyright (C) 1994-2000 LFCS Edinburgh. 
 ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;          Thomas Kleymann and Dilip Sequeira
 ;;
-- 
cgit v1.2.3