From 84779c34d7e037508271e3fad8f853299ced473d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 4 Nov 2006 19:57:09 +0000
Subject: isar-strip-terminators, isar-detect-begin: proof-search-forward;

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

diff --git a/isar/isar.el b/isar/isar.el
index df8da592..292baef9 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -63,7 +63,7 @@ See -k option for Isabelle interface script."
   (interactive)
   (save-excursion
     (goto-char (point-min))
-    (while (search-forward ";" (point-max) t)
+    (while (proof-search-forward ";" (point-max) t)
       (if (not (proof-buffer-syntactic-context))
 	  (progn
 	    (delete-backward-char 1)
@@ -401,7 +401,7 @@ proof-shell-retract-files-regexp."
 	(end (span-end span)))
     (save-excursion
       (goto-char start)
-      (while (and (not found) (search-forward-regexp isar-begin-regexp end t))
+      (while (and (not found) (proof-search-forward isar-keyword-begin end t))
 	(or (proof-buffer-syntactic-context) (setq found t))))
     found))
 
-- 
cgit v1.2.3