diff options
| author | David Aspinall | 1999-11-11 17:35:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 17:35:27 +0000 |
| commit | e455a8ee2204f141e0bc1f82939e90f9eeb10f8b (patch) | |
| tree | 54818549d6ec648a07e9592ff6085cc777d2d8bd /generic/proof.el | |
| parent | fc7bc85b25e73b788a7fbd01b1671efa5d1f199f (diff) | |
Attempted x-symbol improvements
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. |