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. --- demoisa/demoisa.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demoisa/demoisa.el') diff --git a/demoisa/demoisa.el b/demoisa/demoisa.el index 9cee59ca..b1f7e1c3 100644 --- a/demoisa/demoisa.el +++ b/demoisa/demoisa.el @@ -96,7 +96,7 @@ proof-shell-error-regexp "\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- " proof-shell-start-goals-regexp "Level [0-9]" proof-shell-end-goals-regexp "val it" - proof-shell-proof-completed-regexp "\\(\\(.\\|\n\\)*No subgoals!\n\\)" + proof-shell-proof-completed-regexp "^No subgoals!" proof-shell-eager-annotation-start "^\\[opening \\|^###\\|^Reading" proof-shell-init-cmd ; define a utility function, in a lib somewhere? "fun pg_repeat f 0 = () -- cgit v1.2.3