etc/settings
changeset 14044 bbd2f7b00736
parent 13920 9d542c96e855
child 14252 650d9a02add9
equal deleted inserted replaced
14043:b776fd812bdd 14044:bbd2f7b00736
    66 ### (as on command line)
    66 ### (as on command line)
    67 ###
    67 ###
    68 
    68 
    69 ISABELLE_USEDIR_OPTIONS=""
    69 ISABELLE_USEDIR_OPTIONS=""
    70 
    70 
       
    71 # for overriding proof objects in HOL image
       
    72 HOL_PROOF_OBJECTS=""
       
    73 
    71 
    74 
    72 ###
    75 ###
    73 ### Document preparation
    76 ### Document preparation
    74 ###
    77 ###
    75 
    78