etc/settings
changeset 14253 91a64a93bdb4
parent 14252 650d9a02add9
child 14344 0f0a2148a099
equal deleted inserted replaced
14252:650d9a02add9 14253:91a64a93bdb4
    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="-v"
    69 ISABELLE_USEDIR_OPTIONS="-v true"
    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