diff options
author | cxl <> | 2004-04-06 14:13:59 +0000 |
---|---|---|
committer | cxl <> | 2004-04-06 14:13:59 +0000 |
commit | 6fa0cbce5be983dc3134331e1a8add70e1268a57 (patch) | |
tree | 85487c7febb9ef8e56583f0137e911e88c7eb5bd | |
parent | af28de6eb11eaff7b4c312eb73c8592600e16b23 (diff) |
Added correct instance for proof-goal-command-regexp; makes undo work.
-rw-r--r-- | ccc/ccc.el | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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" |