diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index c17d4e95..c8c2239b 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -34,7 +34,7 @@ (defvar proof-display-some-buffers-count 0) (defun proof-display-some-buffers () - "Display the reponse, trace, goals, or shell buffer, rotating. + "Display the response, trace, goals, or shell buffer, rotating. A fixed number of repetitions of this command switches back to the same buffer. Also move point to the end of the response buffer if it's selected. |