diff options
author | Tej Chajed <tchajed@mit.edu> | 2018-03-03 08:20:35 -0500 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-03-03 14:20:35 +0100 |
commit | 23e480368e6952e10c084b627f7e39c60e0daf02 (patch) | |
tree | 31ce6383c7584d0b1458227c8544ed150c32ab8e /coq/coq.el | |
parent | 4e7d130afc5788bb3140341dc08ab855aedb4a5d (diff) |
Fix typos in custom variable descriptions. (#236)
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -89,7 +89,7 @@ ;; :group 'coq) (defcustom coq-user-init-cmd nil - "user defined init commands for Coq. + "User defined init commands for Coq. These are appended at the end of `coq-shell-init-cmd'." :type '(repeat (cons (string :tag "command"))) :group 'coq) @@ -102,12 +102,12 @@ These are appended at the end of `coq-shell-init-cmd'." ;; Default coq is only Private_ and _subproof (defcustom coq-search-blacklist-string ; add this? \"_ind\" \"_rect\" \"_rec\" "\"Private_\" \"_subproof\"" - "String for blacklisting strings from requests to coq environment." + "String for blacklisting strings from requests to Coq environment." :type 'string :group 'coq) (defcustom coq-prefer-top-of-conclusion nil - "prefer start of the conclusion over its end when displaying goals + "Prefer start of the conclusion over its end when displaying goals that do not fit in the goals window." :type 'boolean :group 'coq) @@ -896,7 +896,7 @@ Support dot.notation.of.modules." (if notation (concat "\"" notation "\"") "")))) (defcustom coq-remap-mouse-1 nil - "Wether coq mode should remap mouse button 1 to coq queries. + "Whether Coq mode should remap mouse button 1 to Coq queries. This overrides the default global binding of (control mouse-1) and (shift mouse-1) (buffers and faces menus). Hence it is nil by @@ -1852,7 +1852,7 @@ Near here means PT is either inside or just aside of a comment." (defpacustom search-blacklist coq-search-blacklist-string - "Strings to blacklist in requests to coq environment." + "Strings to blacklist in requests to Coq environment." :type 'string :get 'coq-get-search-blacklist :setting coq-set-search-blacklist) |