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-system.el | |
| parent | 4e7d130afc5788bb3140341dc08ab855aedb4a5d (diff) | |
Fix typos in custom variable descriptions. (#236)
Diffstat (limited to 'coq/coq-system.el')
| -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 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 |