From 65040f942717d5b8b5aaf3bf14bbfa76a128c832 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 15 Apr 2004 11:36:23 +0000
Subject: little change in CHANGES and in coq syntax table.

---
 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 6ff24e4d..d7684506 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -824,7 +824,7 @@ Idtac (Nop) tactic, put the following line in your .emacs:
   (modify-syntax-entry ?>  ".")
   (modify-syntax-entry ?\& ".")
   (modify-syntax-entry ?_  "w")
-  (modify-syntax-entry ?\' "_")
+  (modify-syntax-entry ?\' "w")
   (modify-syntax-entry ?\| ".")
 
 ; should baybe be "_" but it makes coq-find-and-forget (in coq.el) bug
-- 
cgit v1.2.3