From fc86159b28db00a092f2588320dda655ab843ed3 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sun, 4 Jun 2000 20:01:41 +0000
Subject: proof-re-search-forward/backward: observe proof-case-fold-search;

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

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index fd316eb0..0f4575bf 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -52,6 +52,18 @@ nil if a region cannot be found."
 ;; of proof-case-fold-search.  Last arg to string-match is
 ;; not applicable.
 
+(defun proof-re-search-forward (regexp &optional bound noerror count)
+  "Like re-search-forward, but set case-fold-search to proof-case-fold-search."
+  (let
+      ((case-fold-search proof-case-fold-search))
+    (re-search-forward regexp bound noerror count)))
+
+(defun proof-re-search-backward (regexp &optional bound noerror count)
+  "Like re-search-backward, but set case-fold-search to proof-case-fold-search."
+  (let
+      ((case-fold-search proof-case-fold-search))
+    (re-search-backward regexp bound noerror count)))
+
 (defun proof-string-match (regexp string &optional start)
   "Like string-match, but set case-fold-search to proof-case-fold-search."
   (let
-- 
cgit v1.2.3