diff options
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |