From bac4f6fbe0f94b47fea79169c849ee17601eb67c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Feb 1999 13:31:24 +0000
Subject: Added proof-string-match

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

(limited to 'generic')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 4aa0bc4c..d531d107 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -43,6 +43,17 @@ nil if a region cannot be found."
 	(if (re-search-forward endre nil t)
 	    start))))
 
+;; Function for string matching that takes into account value
+;; of proof-case-fold-search.  Last arg to string-match is
+;; not applicable.
+
+(defun proof-string-match (regexp string &optional start)
+  "Like string-match, but set case-fold-search to proof-case-fold-search."
+  (let
+      ((case-fold-search proof-case-fold-search))
+    (string-match regexp string start)))
+
+
 ;; Generic font-lock
 
 ;; proof-commands-regexp is used for indentation
-- 
cgit v1.2.3