Added proof-string-match

1 files changed, 11 insertions, 0 deletions

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