From bfe8677a166e443d0cf87337409859d1947a858e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:05:16 +0000
Subject: Fix comment

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

diff --git a/isa/isa.el b/isa/isa.el
index 84c5f02d..b55085ba 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -608,7 +608,7 @@ you will be asked to retract the file or process the remainder of it."
 ;; x-symbol support for Isabelle PG, provided by David von Oheimb.
 ;;
 ;; The following settings configure the generic PG package.
-;; The token language "Isabelle Symbols" is in file x-symbol-isa.el
+;; The token language "Isabelle Symbols" is in file x-symbol-isabelle.el
 ;;
 
 (setq proof-xsym-extra-modes '(thy-mode)
-- 
cgit v1.2.3