| changeset 39390 | aa3b8787edd7 |
| parent 39111 | 2e9bdc6fbedf |
| child 41332 | 425da53b3196 |
| 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" |