diff options
| author | David Aspinall | 1999-11-18 15:00:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 15:00:57 +0000 |
| commit | b113919583e33bb2b84b6657f5e9852b3b584a3e (patch) | |
| tree | 091ffbac6ae1697394e9d4b98e5ec055cac54d8c | |
| parent | 15cd0b74ce7365f6446ffc0a07b5e6697e383c05 (diff) | |
Typo.
| -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 |