From 9d616b5434e8f76fde08d47ec843cc21f1ddbef1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 10 Oct 2010 22:33:36 +0000
Subject: Reenable LEGO since it's included in docs (needed for make magic)

---
 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 b84a5326..f1387a45 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -30,7 +30,7 @@
 
       ;; Obscure/conflict with other useful modes:
 
-      ;  (lego "LEGO" "l")
+      (lego "LEGO" "l")
       ;  (hol-light "HOL Light" "ml")
       ;; (ccc    "CASL Consistency Checker" "ccc")
       ;; (pgshell	"PG-Shell" "pgsh")
-- 
cgit v1.2.3