| changeset 36100 | a8912920ef4f |
| parent 35062 | fc1594f6adbc |
| child 37312 | 664d3110beb2 |
| 36099:7e1f972df25f | 36100:a8912920ef4f |
|---|---|
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 8 -q 2" |
26 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2" |
27 |
27 |
28 init_component /home/isabelle/contrib_devel/kodkodi |
28 init_component "$HOME/contrib_devel/kodkodi" |
29 |
29 |