From 8f0dc1e7cd33e8617cd0d2bfeae96ef135642f2a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 24 Nov 1999 16:05:07 +0000
Subject: Bug fix in regexp.

---
 demoisa/demoisa-easy.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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\";"
-- 
cgit v1.2.3