diff options
| author | Hendrik Tews | 2021-01-25 10:44:32 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | dfb51f30c7af1afdf563f7fd8c4d23e653432dd1 (patch) | |
| tree | b6d423a81bd9340df4a9263c3675d295c9e5dc27 /generic/proof-menu.el | |
| parent | 0440589e579fba52c0248477cde08b93f9e4cb76 (diff) | |
fix typos and unicode single quotations in doc strings
Backported those typos that were fixed only in the manual texi
sources and not in the doc strings, from which the text was
imported. Convert a few symbols quoted with curved unicode single
quotations to ascii, such that make magic recognizes them.
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. |