| changeset 46111 | cd49d458b545 |
| parent 46108 | 1c314d838676 |
| child 47472 | ffa6e10df091 |
| 46110:22294c79cea6 | 46111:cd49d458b545 |
|---|---|
23 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
23 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
24 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
24 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
25 |
25 |
26 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2" |
26 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2" |
27 |
27 |
28 init_component "$HOME/contrib_devel/kodkodi" |
28 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |