From 69554c0916c0279bde6b795cb79f87b55069b25f Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 2 May 2016 14:06:51 +0200 Subject: Fixing detection of symbol at point. Quote at start of a word should not be considered part of the word. Other characters than ' or _ are punctuation. --- coq/coq-syntax.el | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 40dac7d7..cc325c41 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1347,14 +1347,15 @@ It is used: (modify-syntax-entry ?< ".") (modify-syntax-entry ?> ".") (modify-syntax-entry ?\& ".") - (modify-syntax-entry ?_ "_") - (modify-syntax-entry ?\' "_") - (modify-syntax-entry ?∀ "_") - (modify-syntax-entry ?∃ "_") - (modify-syntax-entry ?λ "_") ;; maybe a bad idea... lambda is a letter + (modify-syntax-entry ?_ "_") ; beware: word consituent EXCEPT in head position + (modify-syntax-entry ?\' "_") ; always word constituent + (modify-syntax-entry ?∀ ".") + (modify-syntax-entry ?∃ ".") + (modify-syntax-entry ?λ ".") ;; maybe a bad idea... lambda is a letter (modify-syntax-entry ?\| ".") ;; should maybe be "_" but it makes coq-find-and-forget (in coq.el) bug + ;; Hence the coq-with-altered-syntax-table below to put "." into "_" class temporarily (modify-syntax-entry ?\. ".") (modify-syntax-entry ?\* ". 23n") -- cgit v1.2.3