diff options
author | 2000-04-07 09:42:02 +0000 | |
---|---|---|
committer | 2000-04-07 09:42:02 +0000 | |
commit | 556e84c80c3bf9a49cf300572c1854ed2f05597b (patch) | |
tree | 9b33fecebb34ea0bf93f0c6d4bc61503210ff319 /demoisa/demoisa.el | |
parent | 71f0f60954301df47a19e1b6778fb2348ab257a1 (diff) |
Fixed up proof-shell-proof-completed mess nicely.
Diffstat (limited to 'demoisa/demoisa.el')
-rw-r--r-- | demoisa/demoisa.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 = () |