From 787510f7ab4565e6ee8f06060c099c3ee56e42d8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 5 Jan 2012 10:05:41 +0000
Subject: Temporarily enable HOL Light globally for testing

---
 generic/proof-site.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index f1aa466b..d537342a 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -40,7 +40,7 @@
       ;; Obscure/conflict with other useful modes:
 
       (lego "LEGO" "l")
-      ;  (hol-light "HOL Light" "ml")
+      (hol-light "HOL Light" "ml") ; [for testing]
       ;; (ccc    "CASL Consistency Checker" "ccc")
       ;; (pgshell	"PG-Shell" "pgsh")
 
@@ -49,9 +49,9 @@
       ;; (hol98	"HOL" "sml")
       ;; (acl2	"ACL2" "acl2")
       ;; (twelf	"Twelf" "elf")
-      ;; (plastic "Plastic" "lf")    ; obsolete
-      ;; (lclam "Lambda-CLAM" "lcm")        ; obsolete
-      ;; (demoisa "Isabelle Demo" "ML")    ; obsolete
+      ;; (plastic "Plastic" "lf")        ; obsolete
+      ;; (lclam "Lambda-CLAM" "lcm")     ; obsolete
+      ;; (demoisa "Isabelle Demo" "ML")  ; obsolete
       )
     "Default value for `proof-assistant-table', which see.")
 
-- 
cgit v1.2.3