diff options
Diffstat (limited to 'generic/proof-syntax.el')
-rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
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." |