From 9a81563a10137a79e18654ce18900bfc9749ba10 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jan 2002 16:22:35 +0000
Subject: Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook

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

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index bd3cea9f..245c17d0 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -202,7 +202,7 @@ and script mode."
    proof-shell-eager-annotation-start   "\360\\|\362"
    proof-shell-eager-annotation-start-length 1
    proof-shell-eager-annotation-end     "\361\\|\363"
-   proof-shell-trace-output-regexp      "\375"
+   ;; see isa-pre-shell-start for proof-shell-trace-output-regexp
 
    ;; Some messages delimited by eager annotations
    proof-shell-clear-response-regexp    "Proof General, please clear the response buffer."
@@ -548,7 +548,8 @@ you will be asked to retract the file or process the remainder of it."
   (setq proof-prog-name		(isabelle-command-line))
   (setq proof-mode-for-shell    'isa-shell-mode)
   (setq proof-mode-for-goals	'isa-goals-mode)
-  (setq proof-mode-for-response 'isa-response-mode))
+  (setq proof-mode-for-response 'isa-response-mode)
+  (setq proof-shell-trace-output-regexp "\375"))
 
 (defun isa-mode-config ()
   (isa-mode-config-set-variables)
-- 
cgit v1.2.3