From b19f2685c964dececd926ea21eb018d287f1e43d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 5 May 2000 17:22:27 +0000 Subject: Comment. --- isa/isa.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/isa/isa.el b/isa/isa.el index 65c72d75..0f4a69dd 100644 --- a/isa/isa.el +++ b/isa/isa.el @@ -1,5 +1,5 @@ ;; isa-mode.el Emacs support for Isabelle proof assistant -;; Copyright (C) 1994-2000 LFCS Edinburgh, David Aspinall. +;; Copyright (C) 1993-2000 LFCS Edinburgh, David Aspinall. ;; ;; Author: David Aspinall ;; Maintainer: Proof General maintainer @@ -10,7 +10,7 @@ ;; ;; This file and the rest of Isabelle Proof General contain code taken ;; from David Aspinall's Isamode system, a personal project undertaken -;; 1994-1999 as a contribution to the Isabelle community. +;; 1993-1999 as a contribution to the Isabelle community. ;; ;; ----------------------------------------------------------------- -- cgit v1.2.3