diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-syntax.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 7a4a8330..1d03131e 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -17,6 +17,10 @@ expression matching any of its elements" (mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|")) +(defun proof-anchor-regexp (e) + "Anchor (^) and group the regexp." + (concat "^\\(" e "\\)")) + (defun proof-regexp-alt (&rest args) "Return the regexp which matches any of the regexps ARGS." ;; Is this not available in some library? |