From af28de6eb11eaff7b4c312eb73c8592600e16b23 Mon Sep 17 00:00:00 2001
From: cxl
Date: Tue, 6 Apr 2004 10:43:35 +0000
Subject: Another day, another prover: added support for the Casl Consistency
 Checker (file name extension: .ccc).

---
 generic/proof-site.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index e0963a5a..ec9cd03e 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -117,6 +117,7 @@ You can use customize to set this variable."
     (lego	"LEGO"		"\\.l$")
     (coq	"Coq"		"\\.v$\\|\\.v8$\\|\\.v7$")
     (phox	"PhoX"		"\\.phx$")
+    (ccc        "CASL Consistency Checker"  "\\.ccc$")
     ;; The following provers are not fully supported, and have only
     ;; preliminary support written (please volunteer to improve them!)
     (hol98	"HOL"		"\\.sml$")
-- 
cgit v1.2.3