| changeset 35193 | 3979b0729802 |
| parent 35088 | 6591285a6a59 |
| child 36100 | a8912920ef4f |
| 35192:a815c3f4eef2 | 35193:3979b0729802 |
|---|---|
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 unset KODKODI |
28 init_component /home/isabelle/contrib_devel/kodkodi |
29 |
29 |