diff options
author | 2004-04-17 17:47:16 +0000 | |
---|---|---|
committer | 2004-04-17 17:47:16 +0000 | |
commit | 87e9adcad2e8adc6ddaa6b908c8d98ef842ac26f (patch) | |
tree | eccbc77610443fa2058f941ac04fc73c7c6f93bf /generic | |
parent | 935b23872eb7309b81acfa2a5a9fca8501cfca0c (diff) |
Comments.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 7fd11305..ad0d2a3f 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -305,7 +305,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding (deflocal proof-font-lock-keywords nil "Value of font-lock-keywords in this buffer. We set `font-lock-defaults' to '(proof-font-lock-keywords t) for -compatibility with X-Symbol, which may hack proof-font-lock-keywords +compatibility with X-Symbol, which may hack `proof-font-lock-keywords' with extra patterns (in non-mule mode).") (deflocal proof-font-lock-keywords-case-fold-search nil |