From 023c8a69f4ef1bd5b1a5807fa661faf198866a9f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 14:09:30 +0000
Subject: Copyright messages updated.

---
 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 5b4a5123..13a98f31 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 - 1998 LFCS Edinburgh. 
+;; Copyright (C) 1994 - 1999 LFCS Edinburgh. 
 ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;          Thomas Kleymann and Dilip Sequeira
 ;;
-- 
cgit v1.2.3