From 9fd42ff8e8e5ddb3a1f26501f0bf1a9e54036ccc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 15:51:15 +0000
Subject: Remove proof-shell-interactive-input-regexp again!

---
 isar/isar.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index 063d331c..5a7831f7 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -537,8 +537,7 @@ Checks the width in the `proof-goals-buffer'"
   (setq proof-mode-for-shell    'isar-shell-mode)
   (setq proof-mode-for-goals    'isar-goals-mode)
   (setq proof-mode-for-response 'isar-response-mode)
-  (setq proof-shell-trace-output-regexp "\375")
-  (setq proof-shell-interactive-input-regexp "\375\\*\\*"))
+  (setq proof-shell-trace-output-regexp "\375"))
 
 
 ;;
-- 
cgit v1.2.3