diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-01-11 21:21:22 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-01-11 21:21:22 +0000 |
commit | a699b15251e5e5588ea0498224ea67003742c42e (patch) | |
tree | f5c7b8d7a94008157d91107761c0625a611e8933 /phox | |
parent | 742fe586cf81bde132d0389f70c5c459eb144860 (diff) |
*** empty log message ***
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox.el | 2 |
1 files changed, 1 insertions, 1 deletions
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" )) |