diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 6 | ||||
| -rw-r--r-- | generic/proof-menu.el | 2 | ||||
| -rw-r--r-- | generic/proof-site.el | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 6f1e9148..8d5f9762 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -446,10 +446,10 @@ It's safe to leave this setting as nil." :group 'proof-script) (defcustom proof-goal-with-hole-result 2 - "How to get theorem name after ‘proof-goal-with-hole-regexp’ match. + "How to get theorem name after `proof-goal-with-hole-regexp' match. String or Int. -If an int N, use ‘match-string’ to get the value of the Nth parenthesis matched. -If a string, use ‘replace-match’. In this case, ‘proof-goal-with-hole-regexp’ +If an int N, use `match-string' to get the value of the Nth parenthesis matched. +If a string, use `replace-match'. In this case, `proof-goal-with-hole-regexp' should match the entire command." :type '(choice string integer) :group 'proof-script) 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. diff --git a/generic/proof-site.el b/generic/proof-site.el index f47d8800..b149b7f1 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -125,7 +125,7 @@ (let ((s (getenv "PROOFGENERAL_HOME"))) (if s (file-name-as-directory s))))) "Directory where Proof General is installed. -based on where the file `proof-site.el' was loaded from. +Based on where the file `proof-site.el' was loaded from. Falls back to consulting the environment variable `PROOFGENERAL_HOME' if proof-site.el couldn't know where it was executed from.") @@ -204,7 +204,7 @@ assistant, `SYMBOL-mode', run when files with AUTOMODE-REGEXP \(or with extension FILE-EXTENSION) are visited. If present, IGNORED-EXTENSIONS-LIST is a list of file-name extensions to be ignored when doing file-name completion (IGNORED-EXTENSIONS-LIST -is added to ‘completion-ignored-extensions’). +is added to `completion-ignored-extensions'). SYMBOL is also used to form the name of the directory and elisp file for the mode, which will be |