From 4c83bda09cac74061d0f732642b56dc4093da244 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 7 Feb 2012 10:25:18 +0000 Subject: Cleanup --- ccc/ccc.el | 1 - 1 file changed, 1 deletion(-) (limited to 'ccc') diff --git a/ccc/ccc.el b/ccc/ccc.el index 660c640d..44a0d7c3 100644 --- a/ccc/ccc.el +++ b/ccc/ccc.el @@ -42,7 +42,6 @@ proof-assistant-home-page "http://www.informatik.uni-bremen.de/cofi/tools/ccc" proof-shell-annotated-prompt-regexp "^\\(val it = () : unit\n\\)?\\(CCC\\|^HOL-CASL\\)> " ;; "^\\(val it = () : unit\n\\)?ML>? " proof-shell-error-regexp "\\*\\*\\*\\|^.*Error:\\|^uncaught exception \\|^Exception- " - proof-shell-init-cmd nil proof-shell-proof-completed-regexp "^Consistency proof successfully finished." proof-shell-eager-annotation-start "^\\[opening \\|^###\\|^Reading" ;;; ??? -- cgit v1.2.3