equal
deleted
inserted
replaced
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 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2" |
27 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2" |
28 |
28 |
|
29 ISABELLE_FULL_TEST=true |
|
30 |
29 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |
31 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |
30 |
32 |