From 5de12ad3a052d648454fbf1989c903a0bc0a1ccd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Sep 2012 10:00:45 +0000
Subject: Disable HOL Light support for release version

---
 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 6c00c3d0..4fe95334 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -46,7 +46,7 @@
       ;; (lego "LEGO" "l")
       ;; (ccc    "CASL Consistency Checker" "ccc")
 
-      (hol-light "HOL Light" "ml") ; [for testing]
+      ;; (hol-light "HOL Light" "ml") ; [for testing]
 
       ;; Cut-and-paste management only
 
-- 
cgit v1.2.3