equal
deleted
inserted
replaced
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 init_component "$HOME/contrib_devel/jdk-7u3_x86-linux" |
|
28 init_component "$HOME/contrib/kodkodi-1.2.16" |
27 init_component "$HOME/contrib/kodkodi-1.2.16" |