Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
etc/settings
changeset 15881 dcce46230131
parent 15880 d6aa6c707acf
child 15982 9d7f3db40b88
equal deleted inserted replaced
15880:d6aa6c707acf 15881:dcce46230131 
    58 #ML_PLATFORM=""
 
    58 #ML_PLATFORM=""
 
    59 #ML_OPTIONS=""
 
    59 #ML_OPTIONS=""
 
    60 
    60 
    61 
    61 
    62 ###
 
    62 ###
 
    63 ### Compilation options for isatool usedir[B
 
    63 ### Compilation options for isatool usedir
 
    64 ### (as on command line)
 
    64 ### (as on command line)
 
    65 ###
 
    65 ###
 
    66 
    66 
    67 ISABELLE_USEDIR_OPTIONS="-v true"
 
    67 ISABELLE_USEDIR_OPTIONS="-v true"
 
    68 
    68
wneuper/isa