From e5384e11dedcb416eff5df7c96aa0f1e4f943c37 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 12 Jan 2001 16:50:38 +0000
Subject: proof-string-match;

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

(limited to 'isa')

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index d3cc2596..2d90192c 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -185,7 +185,7 @@ passed to isa-tool-doc-command, DOCNAME will be viewed."
 	   (function (lambda (docdes)
 		       (list
 			(substring docdes 
-				   (string-match "\\(\\S-+\\)[ \t]+" docdes)
+				   (proof-string-match "\\(\\S-+\\)[ \t]+" docdes)
 				   (match-end 1))
 			(substring docdes (match-end 0)))))
 	   (split-string docs "\n"))))))
@@ -207,7 +207,7 @@ Called with one argument: t to save database, nil otherwise."
 ;;; Set proof-shell-pre-interrupt-hook for PolyML 3.
 (if (and
      (not proof-shell-pre-interrupt-hook)
-     (string-match "\\`polyml-3" (isa-getenv "ML_SYSTEM")))
+     (proof-string-match "\\`polyml-3" (isa-getenv "ML_SYSTEM")))
     (add-hook
      'proof-shell-pre-interrupt-hook
      (lambda () (proof-shell-insert (isabelle-verbatim "f") nil))))
-- 
cgit v1.2.3