Fix typos in custom variable descriptions. (#236)

2 files changed, 8 insertions, 8 deletions

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 14da9f17..fff239c1 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -34,7 +34,7 @@
   (defvar coq-debug))
 
 (defcustom coq-prog-env nil
-  "List of environment settings d to pass to Coq process.
+  "List of environment settings to pass to Coq process.
 On Windows you might need something like:
   (setq coq-prog-env '(\"HOME=C:\\Program Files\\Coq\\\"))"
   :group 'coq)
@@ -418,8 +418,8 @@ LOAD-PATH, CURRENT-DIRECTORY, PRE-V85: see `coq-coqc-prog-args'."
   (coq-coqtop-prog-args coq-load-path))
 
 (defcustom coq-use-project-file t
-  "If t, when opening a coq file read the dominating _CoqProject.
-If t, when a coq file is opened, Proof General will look for a
+  "If t, when opening a Coq file read the dominating _CoqProject.
+If t, when a Coq file is opened, Proof General will look for a
 project file (see `coq-project-filename') somewhere in the
 current directory or its parent directories.  If there is one,
 its contents are read and used to determine the arguments that
diff --git a/coq/coq.el b/coq/coq.el
index e630a561..b56f879e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -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)