From 4b511ab973f04e878dfb4288ba6006871b467eb8 Mon Sep 17 00:00:00 2001 From: Christophe Raffalli Date: Wed, 25 Jul 2001 14:15:34 +0000 Subject: Various changes for win32 compatibility --- phox/phox.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'phox/phox.el') diff --git a/phox/phox.el b/phox/phox.el index 12d4e305..2f0680e9 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -147,7 +147,8 @@ proof-shell-prompt-pattern "\\(>phox> \\)\\|\\(%phox% \\)" proof-shell-annotated-prompt-regexp "\\(>phox> \\)\\|\\(%phox% \\)" proof-shell-interrupt-regexp "Interrupt" - proof-shell-start-goals-regexp "^\\(Here \\(are\\|is\\) the goal\\)\\|\\([0-9]* goals\\? created\\)" + proof-shell-start-goals-regexp "^\\(Here \\(are\\|is\\) the goal\\)\\|\\([0-9]* goals? created\\)" + proof-shell-end-goals-regexp "^End of goals." proof-shell-quit-cmd "quit." proof-shell-restart-cmd "restart." proof-shell-proof-completed-regexp "^.*^proved" -- cgit v1.2.3