From 96d838dbda4f4581804e8cb73697e4aa509bd5dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 May 2005 19:15:00 +0000
Subject: Documentation.

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq')

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'." )
-- 
cgit v1.2.3