From df66c28596a96efb23df35e6ceb018060ef46b10 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:06:38 +0000
Subject: Enable Lego again, its needed for documentation(\!)

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 8269ed4d..043b065b 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -24,7 +24,7 @@
     '((isar   "Isabelle" "\\.thy$")
       (coq    "Coq"	 "\\.v$\\|\\.v8$\\|\\.v7$")
       (phox   "PhoX"	 "\\.phx$")
-      ;; (lego   "LEGO"	 "\\.l$")
+      (lego   "LEGO"	 "\\.l$")
       ;; (ccc    "CASL Consistency Checker"  "\\.ccc$")
 
       ;; For the demonstration instance of Proof General,
-- 
cgit v1.2.3