diff options
| author | Hendrik Tews | 2021-01-25 10:44:32 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | dfb51f30c7af1afdf563f7fd8c4d23e653432dd1 (patch) | |
| tree | b6d423a81bd9340df4a9263c3675d295c9e5dc27 /coq | |
| parent | 0440589e579fba52c0248477cde08b93f9e4cb76 (diff) | |
fix typos and unicode single quotations in doc strings
Backported those typos that were fixed only in the manual texi
sources and not in the doc strings, from which the text was
imported. Convert a few symbols quoted with curved unicode single
quotations to ascii, such that make magic recognizes them.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-system.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 5b530e45..c090cecb 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -485,13 +485,13 @@ path (including the -R lib options) (see `coq-load-path')." (defcustom coq-project-filename "_CoqProject" "The name of coq project file. -The coq project file of a coq developpement (cf. Coq documentation on +The coq project file of a coq development (cf. Coq documentation on \"makefile generation\") should contain the arguments given to coq_makefile. In particular it contains the -I and -R options (preferably one per line). If `coq-use-coqproject' is -t (default) the content of this file will be used by proofgeneral to +t (default) the content of this file will be used by Proof General to infer the `coq-load-path' and the `coq-prog-args' variables that set -the coqtop invocation by proofgeneral. This is now the recommended +the coqtop invocation by Proof General. This is now the recommended way of configuring the coqtop invocation. Local file variables may still be used to override the coq project file's configuration. .dir-locals.el files also work and override project file settings." |