From 0b5a6b3d0d05b5a730830689333a02dd34b69d45 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 12 Jan 2001 19:00:06 +0000
Subject: proof-string-match;

---
 isa/isa.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index 68996b17..126c2f81 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -361,7 +361,7 @@ isa-proofscript-mode."
   (cond
    (;; Theory files only if they have the right extension
     (and (buffer-file-name)
-	 (string-match "\\.thy$" (buffer-file-name)))
+	 (proof-string-match "\\.thy$" (buffer-file-name)))
 
     ;; Enter theory mode, but first configure settings for proof
     ;; script if they haven't been done already.  This is a hack,
@@ -594,7 +594,7 @@ you will be asked to retract the file or process the remainder of it."
 
 (defun isa-preprocessing ()  ;dynamic scoping of `string'
   "Handle ^VERBATIM marker -- acts on variable STRING by dynamic scoping"
-  (if (string-match isabelle-verbatim-regexp string)
+  (if (proof-string-match isabelle-verbatim-regexp string)
       (setq string (match-string 1 string))))
 
 
-- 
cgit v1.2.3