diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index 3348912e..21a8e6bc 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -225,7 +225,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding ;; Managing font-lock ;; -;; Buffers which are output only are *not* kept in special minor +;; Buffers which are output-only are *not* kept in special minor ;; modes font-lock-mode (or x-symbol-mode). In case the user ;; doesn't want fontification we have a user option, ;; proof-fontify-output. |