diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 09:42:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-07 09:42:02 +0000 |
commit | 556e84c80c3bf9a49cf300572c1854ed2f05597b (patch) | |
tree | 9b33fecebb34ea0bf93f0c6d4bc61503210ff319 /lego | |
parent | 71f0f60954301df47a19e1b6778fb2348ab257a1 (diff) |
Fixed up proof-shell-proof-completed mess nicely.
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 55b5fe98..896660d7 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -117,7 +117,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 |