diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 19:10:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 19:10:43 +0000 |
commit | cd0e8a6d5c28476e50234bbbd08c5209fd323375 (patch) | |
tree | d9b6c15f08d21d0e15e627e85fec703ac0e6b01f /generic/proof-syntax.el | |
parent | eaa288e4dd6a14c301bee5330fc4fbf10f701c9f (diff) |
Add suggestion by Stefan Monnier (comment only)
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." |