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