1.1 --- a/etc/user-settings.sample	Fri Apr 11 17:30:15 1997 +0200
     1.2 +++ b/etc/user-settings.sample	Sat Apr 12 19:59:44 1997 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  ### Compilation options
     1.5  ###
     1.6  
     1.7 -#ISABELLE_HTML=false
     1.8 +#ISABELLE_USEDIR_OPTIONS="-h true -g true"
     1.9  
    1.10  
    1.11  ###
    1.12 @@ -19,8 +19,6 @@
    1.13  #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    1.14  
    1.15  #DEFAULT_LOGIC=ZF
    1.16 -#DEFAULT_LOGIC=HOL
    1.17 -#DEFAULT_LOGIC=HOLCF
    1.18  
    1.19  
    1.20  ###