diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 15bab2f4..76640043 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1587,6 +1587,15 @@ If non-nil, query user which program to run for the inferior process. The default value is @code{nil}. @end defopt +@c TEXI DOCSTRING MAGIC: proof-prog-name-guess +@defopt proof-prog-name-guess +If non-nil, ProofGeneral tries to run `make -n' to guess +the command line arguments for the proof assistant +(Currently implemented for Coq only) + +The default value is @code{nil}. +@end defopt + @c TEXI DOCSTRING MAGIC: proof-rsh-command @defopt proof-rsh-command |