aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-syntax.el
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2000-06-05 20:42:12 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2000-06-05 20:42:12 +0000
commit9a1cbe18e45a3ff399db385622612d8754abd3d1 (patch)
tree98198c026917fbc84d04c86695a0e0ecf7e6ab14 /generic/proof-syntax.el
parentdf17be9655a0b0e6e23125c37441bdc660933846 (diff)
fixed proof-anchor-regexp: use \` instead of ^;
added proof-no-regexp;
Diffstat (limited to 'generic/proof-syntax.el')
-rw-r--r--generic/proof-syntax.el9
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 0f4575bf..3da86f62 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -18,8 +18,13 @@
(mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|"))
(defun proof-anchor-regexp (e)
- "Anchor (^) and group the regexp E."
- (concat "^\\(" e "\\)"))
+ "Anchor (\\`) and group the regexp E."
+ (concat "\\`\\(" e "\\)"))
+
+(defconst proof-no-regexp
+ "\\'\\`"
+ "A regular expression that never matches anything")
+
(defun proof-regexp-alt (&rest args)
"Return the regexp which matches any of the regexps ARGS."