tuned;
authorwenzelm
Fri Feb 07 17:14:56 1997 +0100 (1997-02-07)
changeset 2599652e202b7ddb
parent 2598 c49dfe47675e
child 2600 be48eff459e9
tuned;
removed ISABELLE_INTERFACE_OPTIONS;
etc/user-settings.sample
     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