1.1 --- a/etc/settings	Thu May 22 15:13:16 1997 +0200
     1.2 +++ b/etc/settings	Thu May 22 16:04:48 1997 +0200
     1.3 @@ -97,15 +97,17 @@
     1.4  ### Interfaces
     1.5  ###
     1.6  
     1.7 +# Global options.
     1.8 +ISABELLE_INTERFACE_OPTIONS=""
     1.9 +
    1.10 +
    1.11  # The null interface: pass-through to 'isabelle'.
    1.12  #ISABELLE_INTERFACE=none
    1.13 -#ISABELLE_INTERFACE_OPTIONS=""
    1.14  
    1.15  # Simple xterm based interface.
    1.16  ISABELLE_INTERFACE=xterm
    1.17 -ISABELLE_INTERFACE_OPTIONS=""
    1.18  
    1.19 -# GNU Emacs running Isamode.
    1.20 +# Emacs running Isamode.
    1.21  #ISABELLE_INTERFACE=emacs
    1.22 -#ISABELLE_INTERFACE_OPTIONS=""
    1.23  ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
    1.24 +ISAMODE_EMACS="xemacs -q"