From cd0e8a6d5c28476e50234bbbd08c5209fd323375 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 13 Feb 2005 19:10:43 +0000 Subject: Add suggestion by Stefan Monnier (comment only) --- generic/proof-syntax.el | 2 ++ 1 file changed, 2 insertions(+) (limited to 'generic/proof-syntax.el') diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 72848f64..59a79361 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -16,6 +16,8 @@ (defun proof-ids-to-regexp (l) "Maps a non-empty list of tokens `l' to a regexp matching any element" (mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|")) +;; Stefan Monnier suggests: +;; (concat "\\<\\(?:" (mapconcat 'identity l "\\|") "\\)\\>")) (defun proof-anchor-regexp (e) "Anchor (\\`) and group the regexp E." -- cgit v1.2.3