etc/settings
changeset 14252 650d9a02add9
parent 14044 bbd2f7b00736
child 14253 91a64a93bdb4
equal deleted inserted replaced
14251:b91f632a1d37 14252:650d9a02add9
    64 ###
    64 ###
    65 ### Compilation options for isatool usedir
    65 ### Compilation options for isatool usedir
    66 ### (as on command line)
    66 ### (as on command line)
    67 ###
    67 ###
    68 
    68 
    69 ISABELLE_USEDIR_OPTIONS=""
    69 ISABELLE_USEDIR_OPTIONS="-v"
    70 
    70 
    71 # for overriding proof objects in HOL image
    71 # for overriding proof objects in HOL image
    72 HOL_PROOF_OBJECTS=""
    72 HOL_PROOF_OBJECTS=""
    73 
    73 
    74 
    74