From 3ee27482c2e06ff329c8c35667e347cd2737b917 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 25 Sep 1999 11:27:29 +0000
Subject: proof-shell-proof-completed-regexp nil;

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

diff --git a/isar/isar.el b/isar/isar.el
index 1a4f73ab..059020f0 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -190,7 +190,7 @@
    ;; for issuing command, not used to track cwd in any way.
    proof-shell-cd			"cd \"%s\";"
 
-   proof-shell-proof-completed-regexp   "$^"    ; n.a.
+   proof-shell-proof-completed-regexp   nil     ; n.a.
    proof-shell-interrupt-regexp         "\364\\*\\*\\* Interrupt\\|\360Interrupt"
    proof-shell-error-regexp		"^\364\\*\\*\\*"
    proof-shell-abort-goal-regexp        nil     ; n.a.
-- 
cgit v1.2.3