equal
deleted
inserted
replaced
26 |
26 |
27 ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc" |
27 ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc" |
28 ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml" |
28 ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml" |
29 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl" |
29 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl" |
30 |
30 |
|
31 init_component "$HOME/contrib_devel/jdk-7u3_x86-linux" |
31 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |
32 init_component "$HOME/contrib_devel/kodkodi-1.2.16" |