--- 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"