From e6a2fe06d46ac9c4400e9e8f6bf974680a67e3f2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 May 2007 21:17:45 +0000
Subject: Add proof-replace-regexp-nocasefold

---
 generic/proof-syntax.el | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 03bd7b00..4fa9a6c3 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -123,15 +123,20 @@ If so, return non-nil."
 ;; Replacing matches
 
 (defun proof-replace-string (string to-string)
-  "Non-interactive version of `replace-string', which see."
+  "Non-interactive `replace-string', using `proof-case-fold-search'."
   (while (proof-search-forward string nil t)
     (replace-match to-string nil t)))
 
 (defun proof-replace-regexp (regexp to-string)
-  "Non-interactive version of `replace-regexp', which see."
+  "Non-interactive `replace-regexp', using `proof-case-fold-search'."
   (while (proof-re-search-forward regexp nil t)
     (replace-match to-string nil nil)))
 
+(defun proof-replace-regexp-nocasefold (regexp to-string)
+  "Non-interactive `replace-regexp', forcing `case-fold-search' to nil."
+  (let ((case-fold-search nil))
+    (while (proof-re-search-forward regexp nil t)
+      (replace-match to-string nil nil))))
 
 ;; Generic font-lock
 
-- 
cgit v1.2.3