diff options
| -rw-r--r-- | generic/proof-syntax.el | 11 |
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 |