# HG changeset patch
# User wenzelm
# Date 864309888 -7200
# Node ID 656b5221a56eb637616ec72a91b211345a850b8c
# Parent  404fe31fd8d2c75e455f8cad4b74dd988b578946
tuned Isamode stuff;

diff -r 404fe31fd8d2 -r 656b5221a56e etc/settings
--- a/etc/settings	Thu May 22 15:13:16 1997 +0200
+++ b/etc/settings	Thu May 22 16:04:48 1997 +0200
@@ -97,15 +97,17 @@
 ### Interfaces
 ###
 
+# Global options.
+ISABELLE_INTERFACE_OPTIONS=""
+
+
 # The null interface: pass-through to 'isabelle'.
 #ISABELLE_INTERFACE=none
-#ISABELLE_INTERFACE_OPTIONS=""
 
 # Simple xterm based interface.
 ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS=""
 
-# GNU Emacs running Isamode.
+# Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
-#ISABELLE_INTERFACE_OPTIONS=""
 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
+ISAMODE_EMACS="xemacs -q"