--- a/Admin/isatest/settings/at-poly-test Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
# -*- shell-script -*- :mode=shellscript:
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
POLYML_HOME="/home/polyml/polyml-svn"
ML_SYSTEM="polyml-5.5.0"
ML_PLATFORM="x86-linux"
@@ -28,4 +30,3 @@
ISABELLE_OCAML="/usr/bin/ocaml"
ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"