diff options
| author | David Aspinall | 2005-05-17 19:15:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-05-17 19:15:00 +0000 |
| commit | 96d838dbda4f4581804e8cb73697e4aa509bd5dd (patch) | |
| tree | 1ab1dcb14e736d8fe75f7329d596ac719a3e034f /coq | |
| parent | fa3dcd83b55ca5ce471a1d648f9a57f448c0a3f8 (diff) | |
Documentation.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index e351d905..65e63b60 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -28,7 +28,7 @@ ProofGeneral guesses the version of coq by doing 'coqtop -v'." ) (defvar coq-version-is-V8-1 nil "This variable can be set to t to force ProofGeneral to coq version coq-8.1 (use it for coq-8.0cvs after january 2005). To do that, put -(setq coq-version-is-V8-1 t) in your .emacs and restart emacs. This +\(setq coq-version-is-V8-1 t) in your .emacs and restart emacs. This variable cannot be true simultaneously with coq-version-is-V8-0. If none of these 2 variables is set to t, then ProofGeneral guesses the version of coq by doing 'coqtop -v'." ) |