From ff736b2de3c19a06d5dc6aa678549cfbcef30a19 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 13 Apr 2004 19:16:00 +0000
Subject: 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 94c158f4..2eef0988 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -9,7 +9,7 @@
 ;; $Id$
 ;;
 ;; NAMESPACE management: all functions and variables declared
-;; in this file begin with isa-thy-
+;; in this file begin with thy-
 
 (require 'proof-site)
 (require 'proof-syntax)
-- 
cgit v1.2.3