diff options
| author | David Aspinall | 1999-11-19 17:43:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-19 17:43:21 +0000 |
| commit | 5d16a0281aa95f58626efed85d258ea297654496 (patch) | |
| tree | 5d817ad10dff7b381b6e6df5fdf2daf73b3f54ca | |
| parent | fb4e1fc345c0d6b52243f8d381190b39a08b1c62 (diff) | |
docstring
| -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 |