1.1 --- a/etc/user-settings.sample	Fri Feb 07 17:14:33 1997 +0100
     1.2 +++ b/etc/user-settings.sample	Fri Feb 07 17:14:56 1997 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  ###
     1.5  
     1.6  # Note: ML system and platform info is appended automatically!
     1.7 -#ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH
     1.8 +#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
     1.9  
    1.10  #DEFAULT_LOGIC=ZF
    1.11  #DEFAULT_LOGIC=HOL
    1.12 @@ -27,12 +27,10 @@
    1.13  ### Interfaces
    1.14  ###
    1.15  
    1.16 -# Xterm with symbol font.
    1.17 +# XTerm
    1.18  #ISABELLE_INTERFACE=xterm
    1.19 -#ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
    1.20 -#ISABELLE_SYMBOLS=true
    1.21 +#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    1.22  
    1.23  # GNU Emacs running Isamode.
    1.24  #ISABELLE_INTERFACE=emacs
    1.25  #ISABELLE_INTERFACE_OPTIONS=""
    1.26 -#ISABELLE_SYMBOLS=true