From 9af3b0e0bca207591b8172bc859c529edeea32cf Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 2 Jul 1999 22:11:56 +0000
Subject: fixed some regexp via proof-anchor-regexp;

---
 generic/proof-syntax.el | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'generic')

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?
-- 
cgit v1.2.3