diff options
| author | Makarius Wenzel | 2000-09-25 10:59:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-25 10:59:12 +0000 |
| commit | f6469991686dd574b5167c909e01794737d2f7dd (patch) | |
| tree | 0940de70134c3cc1400132e93ab2597cb44c9b5e | |
| parent | 51c832faaa7d47b6472a37be0e033eb6c4ea177f (diff) | |
comment: avoid unbalanced quotes;
| -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 b4dd279e..d5468be6 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -283,7 +283,7 @@ compatibility with X-Symbol, which may hack proof-font-lock-keywords with extra patterns (in non-mule mode).") ; (deflocal proof-font-lock-defaults nil -; "Value of font-lock-defaults in this buffer. +; "Value of font-lock-defaults in this buffer." (defun proof-font-lock-configure-defaults (&optional case-fold) "Set defaults for font-lock based on current font-lock-keywords." |