tuned;
authorwenzelm
Tue Mar 11 16:17:26 1997 +0100 (1997-03-11)
changeset 278527a17c846021
parent 2784 a78655c814b0
child 2786 b36ca42c409a
tuned;
etc/user-settings.sample
     1.1 --- a/etc/user-settings.sample	Tue Mar 11 16:17:01 1997 +0100
     1.2 +++ b/etc/user-settings.sample	Tue Mar 11 16:17:26 1997 +0100
     1.3 @@ -27,10 +27,6 @@
     1.4  ### Interfaces
     1.5  ###
     1.6  
     1.7 -# XTerm
     1.8 +# Simple xterm based interface.
     1.9  #ISABELLE_INTERFACE=xterm
    1.10  #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    1.11 -
    1.12 -# GNU Emacs running Isamode.
    1.13 -#ISABELLE_INTERFACE=emacs
    1.14 -#ISABELLE_INTERFACE_OPTIONS=""