From fa3dcd83b55ca5ce471a1d648f9a57f448c0a3f8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 May 2005 19:13:51 +0000
Subject: Disable Twelf support by default

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

diff --git a/generic/proof-site.el b/generic/proof-site.el
index bba1f55d..9e7a78a6 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -129,7 +129,7 @@ You can use customize to set this variable."
 
 ;;    (hol98	"HOL"		"\\.sml$")
     (acl2	"ACL2"		"\\.acl2$")
-    (twelf	"Twelf"		"\\.elf$")
+    ;; (twelf	"Twelf"		"\\.elf$")
     ;; The following provers have experimental support, WIP
     (plastic	"Plastic"	"\\.lf$")
     (lclam      "Lambda-CLAM"   "\\.lcm$")
-- 
cgit v1.2.3