# HG changeset patch
# User wenzelm
# Date 999972179 -7200
# Node ID aca5398ccd350f9458e7df78d16a47a2fc856041
# Parent  8b5064d1c5c9e1fe2739c9cbdf57445e002d4966
ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);

diff -r 8b5064d1c5c9 -r aca5398ccd35 etc/settings
--- a/etc/settings	Sat Sep 08 20:02:09 2001 +0200
+++ b/etc/settings	Sat Sep 08 20:02:59 2001 +0200
@@ -149,10 +149,10 @@
 ###
 
 # The null interface: pass-through to 'isabelle'.
-#ISABELLE_INTERFACE=none
+ISABELLE_INTERFACE=none
 
 # Simple xterm based interface.
-ISABELLE_INTERFACE=xterm
+#ISABELLE_INTERFACE=xterm
 ISABELLE_XTERM_OPTIONS=""
 
 # Emacs running Isamode.