diff options
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 |