diff options
Diffstat (limited to 'demoisa/demoisa-easy.el')
| -rw-r--r-- | demoisa/demoisa-easy.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el index f4cb30c9..cac8afae 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -48,8 +48,7 @@ "\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- " proof-shell-init-cmd "fun pg_repeat f 0 = () | pg_repeat f n = (f(); pg_repeat f (n-1));" - proof-shell-proof-completed-regexp - "\\(\\(.\\|\n\\)*No subgoals!\n\\)" + proof-shell-proof-completed-regexp "^No subgoals!" proof-shell-eager-annotation-start "^\\[opening \\|^###\\|^Reading") |