diff options
| author | David Aspinall | 2002-08-28 15:05:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 15:05:22 +0000 |
| commit | 3f13842c9642d8e9c3e5a78a3c1089268b9fc84c (patch) | |
| tree | e92628bb2baf47ac5ddc53ffcfdb2e55f5fcf9d3 /generic/proof-utils.el | |
| parent | 8c999a57225835134ad98433ebf6090ef4ae3adb (diff) | |
Docstring/CR from stefans patch
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 8e49e46c..5d94f6c5 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -286,7 +286,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding ;; and copy it into "font-lock-keywords" to engage font-lock. ;; Present method for XEmacs is to put a 'font-lock-defaults ;; property on the major-mode symbol, or use font-lock-defaults -;; buffer local variable. We use the later. +;; buffer local variable. We use the latter. ;; ;; * Buffers which are output-only are *not* kept in special minor ;; modes font-lock-mode (or x-symbol-mode). In case the user @@ -295,7 +295,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 +We set `font-lock-defaults' to '(proof-font-lock-keywords t) for compatibility with X-Symbol, which may hack proof-font-lock-keywords with extra patterns (in non-mule mode).") @@ -730,4 +730,4 @@ If RETURNNOPATH is non-nil, return PROGNAME even if we can't find a full path." (setq generated-autoload-file "proof-autoloads.el") ;; End of proof-utils.el -(provide 'proof-utils)
\ No newline at end of file +(provide 'proof-utils) |