From a699b15251e5e5588ea0498224ea67003742c42e Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Thu, 11 Jan 2001 21:21:22 +0000
Subject: *** empty log message ***

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

(limited to 'phox')

diff --git a/phox/phox.el b/phox/phox.el
index e188ef2d..0341b664 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -150,7 +150,7 @@
    proof-shell-interrupt-regexp    "Interrupt"
    proof-shell-start-goals-regexp  "^Goals left to prove:"
    proof-shell-quit-cmd            "quit."
-   proof-shell-restart-cmd         "quit."
+   proof-shell-restart-cmd         "restart."
    proof-shell-proof-completed-regexp   "^.*^proved"
 ))
 
-- 
cgit v1.2.3