1.1 --- a/etc/user-settings.sample	Sun Sep 03 20:00:34 2000 +0200
     1.2 +++ b/etc/user-settings.sample	Sun Sep 03 20:01:27 2000 +0200
     1.3 @@ -1,10 +1,11 @@
     1.4  #
     1.5  # $Id$
     1.6 +# Author: Markus Wenzel, TU Muenchen
     1.7 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  #
     1.9  # Isabelle user settings sample (everything commented out)
    1.10  #   -- may be copied to ~/isabelle/etc/settings
    1.11  #
    1.12  
    1.13 -#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.14 -
    1.15 -#ISABELLE_LOGIC=ZF
    1.16 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.17 +ISABELLE_LOGIC=HOL