diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-06-24 09:05:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-24 09:05:16 +0000 |
commit | bfe8677a166e443d0cf87337409859d1947a858e (patch) | |
tree | a86302d50289af0dac9d10a186c3b20c20e8102e /isa | |
parent | 5c7cdf6440c8af20602076dcfc4d1085962a87f6 (diff) |
Fix comment
Diffstat (limited to 'isa')
-rw-r--r-- | isa/isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |