From 4f6b6027632f55d7a8248ae509cc6526a372ce9f Mon Sep 17 00:00:00 2001 From: dymil Date: Thu, 10 Sep 2020 20:03:50 -0400 Subject: fix(coq/coq.el): spelling of "whether" (#512) --- coq/coq.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq') diff --git a/coq/coq.el b/coq/coq.el index 8b9cec69..8cbf84a6 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -2626,7 +2626,7 @@ Warning: this makes the error messages (and location) wrong.") "\n?The proof of \\([^ \n]+\\)\\(?: \\|\n\\)should start with one of the following commands:\\(?: \\|\n\\)Proof using\\([^.]*\\)\\.") (defcustom coq-accept-proof-using-suggestion 'highlight - "Wether and how proofgeneral should insert \"Proof using\" suggestions. + "Whether and how proofgeneral should insert \"Proof using\" suggestions. Suggestions are emitted by Coq at Qed time. The possible values of this variable are: -- cgit v1.2.3