diff options
| author | dymil | 2020-09-10 20:03:50 -0400 |
|---|---|---|
| committer | GitHub | 2020-09-11 02:03:50 +0200 |
| commit | 4f6b6027632f55d7a8248ae509cc6526a372ce9f (patch) | |
| tree | 935bf0f150743c29ac21276f8b8ca02ec46cd5cc /coq | |
| parent | 8f609bd75a3388fcef78c76fb817ccb1cd63d82a (diff) | |
fix(coq/coq.el): spelling of "whether" (#512)
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2626,7 +2626,7 @@ Warning: this makes the error messages (and location) wrong.") "<infomsg>\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: |