diff options
| author | David Aspinall | 1999-11-24 16:05:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-24 16:05:07 +0000 |
| commit | 8f0dc1e7cd33e8617cd0d2bfeae96ef135642f2a (patch) | |
| tree | c0f3ee7185f37ec1267c984623bbb4556d5ea080 | |
| parent | f835a24028039533870b773ee23f7a91e3b7c77c (diff) | |
Bug fix in regexp.
| -rw-r--r-- | demoisa/demoisa-easy.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoisa/demoisa-easy.el b/demoisa/demoisa-easy.el index 1ee49526..51f21a20 100644 --- a/demoisa/demoisa-easy.el +++ b/demoisa/demoisa-easy.el @@ -26,7 +26,7 @@ proof-goal-command-regexp "^Goal" proof-save-command-regexp "^qed" proof-goal-with-hole-regexp "qed_goal \"\\(\\(.*\\)\\)\"" - proof-save-with-hole-regexp "qed \"\\(\\(.*\\)\\)\" + proof-save-with-hole-regexp "qed \"\\(\\(.*\\)\\)\"" proof-non-undoables-regexp "undo\\|back" proof-goal-command "Goal \"%s\";" proof-save-command "qed \"%s\";" |