diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-11-22 13:40:01 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2004-11-22 13:40:01 +0000 |
| commit | 92e82f41df384c3602ca4c4602e14762fa07c553 (patch) | |
| tree | 15006ffa704ad5e66e721f43a8318a0d18539269 /phox/phox.el | |
| parent | 0dfac3ff6b31f9689701c26b440adf7d3eb01c24 (diff) | |
work on proof by contextual menu for phox
Diffstat (limited to 'phox/phox.el')
| -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 d5e726e3..a2945c97 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -157,7 +157,7 @@ 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]* new goals?\\)" proof-shell-end-goals-regexp "^End of goals." proof-shell-quit-cmd "quit." proof-shell-restart-cmd "restart." |