From dc549caf4fbfbb0209d5b97e4179c824b6fa608d Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 24 Jul 1999 17:54:30 +0000
Subject: *** empty log message ***

---
 isar/interface-setup.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'isar/interface-setup.el')

diff --git a/isar/interface-setup.el b/isar/interface-setup.el
index 06a383d1..63d29196 100644
--- a/isar/interface-setup.el
+++ b/isar/interface-setup.el
@@ -6,4 +6,7 @@
  'isabelle-isar-prog-name
  (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
 
-(customize-set-variable 'proof-assistant-table '((isar "Isabelle/Isar" "\\.thy$")))
+(customize-set-variable 'proof-assistant-table '((lego	"LEGO"		"\\.l$")(coq	"Coq"		"\\.v$") (isar "Isabelle/Isar" "\\.thy$")))
+
+
+(customize-set-variable 'proof-script-indent t)
-- 
cgit v1.2.3