etc/user-settings.sample
changeset 3289 8c947c178f29
parent 3184 4e0bbfb113d5
child 3749 8a8ed98bd2ca
equal deleted inserted replaced
3288:f38eb5eb9fac 3289:8c947c178f29
    28 ### Interfaces
    28 ### Interfaces
    29 ###
    29 ###
    30 
    30 
    31 # Simple xterm based interface.
    31 # Simple xterm based interface.
    32 #ISABELLE_INTERFACE=xterm
    32 #ISABELLE_INTERFACE=xterm
    33 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
       
    34 
    33 
    35 # GNU Emacs running Isamode.
    34 # Emacs running Isamode.
    36 #ISABELLE_INTERFACE=emacs
    35 #ISABELLE_INTERFACE=emacs
    37 #ISABELLE_INTERFACE_OPTIONS=""