From c67b03c51248f10e693f2c5f112dbc21f7d01298 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 12 Nov 1998 15:19:44 +0000
Subject: Bug in regexp

---
 isa/isa.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isa/isa.el b/isa/isa.el
index 110c543a..28e1c1a9 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -163,7 +163,7 @@ no regular or easily discernable structure."
    proof-shell-proof-completed-regexp   "No subgoals!"
 
    ;; FIXME: the next two are probably only good for NJ/SML
-   proof-shell-error-regexp		"^.*Error:\\|^\\364\\*\\*\\*"
+   proof-shell-error-regexp		"^.*Error:\\|^\364\\*\\*\\*"
    proof-shell-interrupt-regexp         "Interrupt"
    
    ;; nothing appropriate for: proof-shell-abort-goal-regexp
@@ -322,6 +322,7 @@ isa-proofscript-mode."
 (defun isa-process-thy-file (file)
   "Process the theory file FILE.  If interactive, use buffer-file-name."
   (interactive (list buffer-file-name))
+  (save-some-buffers)
   (proof-shell-invisible-command 
    (format isa-usethy-notopml-command
 	   (file-name-sans-extension file))))
-- 
cgit v1.2.3