fixed some regexp via proof-anchor-regexp;

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?