From 1705d1fecdc07d2203c2c83b5064b8150bdfe592 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 5 Mar 2008 18:08:13 +0000
Subject: fixed syntax table + thing-at-point.

---
 coq/coq-syntax.el | 4 ++--
 coq/coq.el        | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 7715cbff..4da20b29 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1022,8 +1022,8 @@ Used by `coq-goal-command-p'"
   (modify-syntax-entry ?<  ".")
   (modify-syntax-entry ?>  ".")
   (modify-syntax-entry ?\& ".")
-  (modify-syntax-entry ?_  "w")
-  (modify-syntax-entry ?\' "w")
+  (modify-syntax-entry ?_  "_")
+  (modify-syntax-entry ?\' "_")
   (modify-syntax-entry ?\| ".")
 
 ;; should maybe be "_" but it makes coq-find-and-forget (in coq.el) bug
diff --git a/coq/coq.el b/coq/coq.el
index dbd06876..78a82b0a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -671,7 +671,7 @@ happen since one of them is necessarily set to t in coq-syntax.el."
          (and (not dontguess)
          (if (region-exists-p) 
              (buffer-substring-no-properties (region-beginning) (region-end))
-           (thing-at-point 'word)))))
+           (thing-at-point 'symbol)))))
     (read-string 
      (if guess (concat s " (default " guess "): ") (concat s " : "))
      nil 'proof-minibuffer-history guess)))
-- 
cgit v1.2.3