From 2ea508d10a1004c335d16b76d73b77e09449ef49 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 22 Sep 1999 17:03:32 +0000 Subject: proof-completed-regexp: match number 1 is response text; --- 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 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 -- cgit v1.2.3