proof-re-search-forward/backward: observe proof-case-fold-search;

1 files changed, 12 insertions, 0 deletions

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