diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-01 16:45:12 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-01 16:45:12 +0000 |
commit | a645e1fd2549bc6b4b6920913264938eb7d486b2 (patch) | |
tree | 952ebd9dfe8f5376a67f470f1f5af7cd9ffa4dca /phox/phox.el | |
parent | b7da2833cac4a0302bda679f699f935f73bf16cb (diff) |
*** empty log message ***
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/phox/phox.el b/phox/phox.el index 1a2ade5e..9d00bb75 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -33,7 +33,7 @@ :group 'phox) (defcustom phox-sym-lock t - "*Whether to use sym-lock or not." + "*Whether to use phox-sym-lock or not." :type 'boolean :group 'phox) @@ -142,7 +142,7 @@ proof-shell-prompt-pattern "\\(>phox> \\)\\|\\(%phox% \\)" proof-shell-annotated-prompt-regexp "\\(>phox> \\)\\|\\(%phox% \\)" proof-shell-interrupt-regexp "Interrupt" - proof-shell-start-goals-regexp "^Goals left to prove:" + proof-shell-start-goals-regexp "^\\(Here are the goal\\)\\|\\([0-9]+ goal\\(s?\\) created\\)" proof-shell-quit-cmd "quit." proof-shell-restart-cmd "restart." proof-shell-proof-completed-regexp "^.*^proved" |