From 343ecd7533c4fb94a19bf29765e3a96f10640d02 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 13 Apr 2004 19:15:37 +0000
Subject: Fix comment.

---
 isa/thy-mode.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index b9dd7139..94c158f4 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -16,7 +16,7 @@
 (require 'isa)
 
 ;; In case thy mode was invoked directly or by -*- thy -*- at
-;; the start of the file, ensure that Isar mode is used from now
+;; the start of the file, ensure that isa mode is used from now
 ;; on for .thy files.
 ;; FIXME: be less messy with auto-mode-alist here (remove dups)
 (setq auto-mode-alist
-- 
cgit v1.2.3