diff options
| -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\";" |