diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-08-23 12:56:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-08-23 12:56:15 +0000 |
| commit | 6089cb4788b4353c517d4ac1ce68c446dc2075f2 (patch) | |
| tree | 670b5c6db9609b164724390240231e9cae3043e3 /coq | |
| parent | 72014cf9698b44b90c4f96e939744a12599bf7d4 (diff) | |
Add back annotation for docstring for texinfo
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1299,7 +1299,7 @@ locked when the \"Require\" command is processed." (defcustom coq-compile-ignore-library-directory t "If non-nil, ProofGeneral does not compile modules from the coq library. -Should be t for normal coq users. If nil library modules are +Should be `t' for normal coq users. If `nil' library modules are compiled if their sources are newer. This option has currently no effect, because Proof General uses |