Added correct instance for proof-goal-command-regexp; makes undo work.

1 files changed, 3 insertions, 3 deletions

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"