From 508849a89dcf1c4063956d32a690448c42f6630a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Feb 2003 00:48:16 +0000
Subject: Documentation.

---
 isar/isar.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index cf8d73c7..c8eb87d6 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -1,5 +1,5 @@
-;; isar.el Major mode for Isabelle/Isar proof assistant
-;; Copyright (C) 1994-1998 LFCS Edinburgh.
+;; isar.el	 Major mode for Isabelle/Isar proof assistant
+;; Copyright (C) 1994-2003 LFCS Edinburgh.
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
 ;; Maintainer:    Stefan Berghofer 
-- 
cgit v1.2.3