From 556e84c80c3bf9a49cf300572c1854ed2f05597b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Apr 2000 09:42:02 +0000 Subject: Fixed up proof-shell-proof-completed mess nicely. --- lego/lego.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lego') 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 -- cgit v1.2.3