diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-03-05 18:08:13 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-03-05 18:08:13 +0000 |
| commit | 1705d1fecdc07d2203c2c83b5064b8150bdfe592 (patch) | |
| tree | db0f1e613ef5dfdad8a4add3223e2f11d6810914 /coq | |
| parent | 99a0f3993bae3b114cc9212feb412e6b6b17dd19 (diff) | |
fixed syntax table + thing-at-point.
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 4 | ||||
| -rw-r--r-- | 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 @@ -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))) |