From faef3e5366a2d384fadbe06d22667185b74a42db Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 15 Oct 1999 16:05:50 +0000
Subject: let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;

---
 isa/interface-setup.el | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
index a394121c..fce64173 100644
--- a/isa/interface-setup.el
+++ b/isa/interface-setup.el
@@ -5,5 +5,3 @@
 (customize-set-variable
  'isabelle-prog-name
  (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
-
-(customize-set-variable 'proof-assistant-table '((isa "Isabelle" "\\.ML$\\|\\.thy$")))
-- 
cgit v1.2.3