1.1 --- a/Admin/isatest/settings/at-poly Sun Mar 13 21:21:48 2011 +0100
1.2 +++ b/Admin/isatest/settings/at-poly Sun Mar 13 21:41:44 2011 +0100
1.3 @@ -24,9 +24,5 @@
1.4
1.5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
1.6
1.7 -ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
1.8 -ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
1.9 -ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
1.10 -
1.11 init_component "$HOME/contrib_devel/kodkodi"
1.12
2.1 --- a/Admin/isatest/settings/at-poly-test Sun Mar 13 21:21:48 2011 +0100
2.2 +++ b/Admin/isatest/settings/at-poly-test Sun Mar 13 21:41:44 2011 +0100
2.3 @@ -24,4 +24,8 @@
2.4
2.5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
2.6
2.7 +ISABELLE_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
2.8 +ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
2.9 +ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
2.10 +
2.11 init_component "$HOME/contrib_devel/kodkodi"