From b113919583e33bb2b84b6657f5e9852b3b584a3e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 15:00:57 +0000
Subject: Typo.

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

diff --git a/isar/isar.el b/isar/isar.el
index c2473a8f..fae9d8ca 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -577,7 +577,7 @@ proof-shell-retract-files-regexp."
 ;; 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-isar.el
 ;;
 
 (setq proof-xsym-font-lock-keywords
-- 
cgit v1.2.3