From f9773c5f2e841c74fbbdeac95ddbc7f4c006c2bd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 12:48:29 +0000
Subject: Documentation.

---
 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 87d62bc0..fafc25f4 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-2001 LFCS Edinburgh.
+;; Copyright (C) 1994-2008 LFCS Edinburgh.
 ;; Authors:   David Aspinall, Yves Bertot, Healfdene Goguen,
 ;;            Thomas Kleymann and Dilip Sequeira
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
-- 
cgit v1.2.3