From 6bd063dcc0a48c1b9dbdf4947596d24a0f1f94f6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Oct 1998 10:08:53 +0000
Subject: Changed for proof-script-buffer to proof-script-buffer-list

---
 generic/proof-indent.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/generic/proof-indent.el b/generic/proof-indent.el
index deb15a4f..515c304f 100644
--- a/generic/proof-indent.el
+++ b/generic/proof-indent.el
@@ -37,7 +37,7 @@
 	(end (point)) instring c)
     (save-excursion
       (if (null from)
-	  (if (eq proof-script-buffer (current-buffer))
+	  (if (member (current-buffer) proof-script-buffer-list)
 	      (proof-goto-end-of-locked)
 	    (goto-char 1))
 	(goto-char from)
@@ -78,7 +78,7 @@
       
 (defun proof-indent-line ()
   (interactive)
-  (if (and (eq proof-script-buffer (current-buffer))
+  (if (and (member (current-buffer) proof-script-buffer-list)
 	   (< (point) (proof-locked-end)))
       (if (< (current-column) (current-indentation))
 	  (skip-chars-forward "\t "))
@@ -97,7 +97,7 @@
 
 (defun proof-indent-region (start end)
   (interactive "r")
-  (if (and (eq proof-script-buffer (current-buffer))
+  (if (and (member (current-buffer) proof-script-buffer-list)
 	   (< (point) (proof-locked-end)))
       (error "can't indent locked region!"))
   (save-excursion
-- 
cgit v1.2.3