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.