| changeset 36100 | a8912920ef4f |
| parent 35571 | 4af56a1c4c7d |
| child 41730 | 14ed42540d22 |
| 36099:7e1f972df25f | 36100:a8912920ef4f |
|---|---|
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="-i true -d pdf -v true -t true" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true" |
26 |
26 |
27 init_component /home/isabelle/contrib_devel/kodkodi |
27 init_component "$HOME/contrib_devel/kodkodi" |