Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle