From 6fa0cbce5be983dc3134331e1a8add70e1268a57 Mon Sep 17 00:00:00 2001
From: cxl <>
Date: Tue, 6 Apr 2004 14:13:59 +0000
Subject: Added correct instance for proof-goal-command-regexp; makes undo
 work.

---
 ccc/ccc.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'ccc')

diff --git a/ccc/ccc.el b/ccc/ccc.el
index e1398adb..f7b55a03 100644
--- a/ccc/ccc.el
+++ b/ccc/ccc.el
@@ -18,17 +18,17 @@
  proof-terminal-char             ?\;
  proof-script-comment-start      "(*"
  proof-script-comment-end        "*)"
- proof-goal-command-regexp       "^"
+ proof-goal-command-regexp       "ccc \".*\";"
  proof-save-command-regexp       "^qeccc"
  proof-goal-with-hole-regexp     "ccc \"\\(\\(.*\\)\\)\"" 
  proof-save-with-hole-regexp     "qeccc \"\\(\\(.*\\)\\)\""
- proof-non-undoables-regexp      "undo\\|back"
+ proof-non-undoables-regexp      nil ;; "undo\\|back"
  proof-goal-command              "ccc \"%s\";"
  proof-save-command              "qeccc \"%s\";"
  proof-kill-goal-command         "abort ();"
  proof-showproof-command         "prt()"
  proof-undo-n-times-cmd          "undo_steps %s;"
- proof-auto-multiple-files       t
+ proof-auto-multiple-files       nil 
  proof-shell-cd-cmd              "cd \"%s\""
  proof-shell-prompt-pattern      "^\\(CCC\\|^HOL-CASL\\) > "
  proof-shell-interrupt-regexp    "Interrupt"
-- 
cgit v1.2.3