1.1 --- a/etc/user-settings.sample	Sat Jul 01 19:49:09 2000 +0200
     1.2 +++ b/etc/user-settings.sample	Sat Jul 01 19:49:20 2000 +0200
     1.3 @@ -2,34 +2,9 @@
     1.4  # $Id$
     1.5  #
     1.6  # Isabelle user settings sample (everything commented out)
     1.7 -#   -- some parts may be copied into ~/isabelle/etc/settings.
     1.8 +#   -- may be copied to ~/isabelle/etc/settings
     1.9  #
    1.10  
    1.11 -###
    1.12 -### Compilation options
    1.13 -###
    1.14 -
    1.15  #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.16  
    1.17 -
    1.18 -###
    1.19 -### Heap files
    1.20 -###
    1.21 -
    1.22 -# Note: ML system identifier appended automatically!
    1.23 -
    1.24 -#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    1.25 -#ISABELLE_OUTPUT=somewhere-else
    1.26 -
    1.27  #ISABELLE_LOGIC=ZF
    1.28 -
    1.29 -
    1.30 -###
    1.31 -### Interfaces
    1.32 -###
    1.33 -
    1.34 -# Simple xterm based interface.
    1.35 -#ISABELLE_INTERFACE=xterm
    1.36 -
    1.37 -# Emacs running Isamode.
    1.38 -#ISABELLE_INTERFACE=emacs