--- a/Admin/isatest/settings/mac-poly-M8 Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M8 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-darwin"
@@ -25,5 +27,3 @@
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
-