diff options
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 2d4b24d4..39b0b3d4 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -176,7 +176,7 @@ experienced Emacs users." (defcustom proof-multiple-frames-enable nil "*Whether response and goals buffers have separate frames. If non-nil, Emacs will make separate frames (screen windows) for -the goals and response buffers, by altering the variable +the goals and response buffers, by altering the Emacs variable `special-display-regexps'." :type 'boolean :set 'proof-set-bool |