Admin/isatest/settings/cygwin-poly-e
changeset 39390 aa3b8787edd7
parent 39111 2e9bdc6fbedf
child 41332 425da53b3196
equal deleted inserted replaced
39389:20db6db55a6b 39390:aa3b8787edd7
    22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    24 
    24 
    25 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
    25 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
    26 
    26 
    27 unset KODKODI
    27 init_component "$HOME/contrib/kodkodi"
    28 #init_component "$HOME/contrib_devel/kodkodi"