diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-09-22 17:03:32 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-09-22 17:03:32 +0000 |
commit | 2ea508d10a1004c335d16b76d73b77e09449ef49 (patch) | |
tree | 3b09be0e78010ae424dbe8706d0d999840770244 /lego | |
parent | 2c011f19bad738e2c0bfa2bc25c4d103bdad29ce (diff) |
proof-completed-regexp: match number 1 is response text;
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index f7eafdbe..a8b5276e 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -116,7 +116,7 @@ Activates extended printing routines required for Proof General.") "*Regular expression indicating that the proof of the current goal has been abandoned.") -(defvar lego-shell-proof-completed-regexp "\\*\\*\\* QED \\*\\*\\*" +(defvar lego-shell-proof-completed-regexp "\\(\\*\\*\\* QED \\*\\*\\*\\)" "*Regular expression indicating that the proof has been completed.") (defvar lego-save-command-regexp |