# HG changeset patch
# User haftmann
# Date 1265722336 -3600
# Node ID 698f0bfb560ea2e8f474d5bbce1a2b75e1568e99
# Parent  1bdef0c013d305629dcf4b71579bc92a8f2fbeef# Parent  fc1594f6adbc027d0472a904a6854799300e1e49
merged

diff -r 1bdef0c013d3 -r 698f0bfb560e Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/at-poly	Tue Feb 09 14:32:16 2010 +0100
@@ -24,3 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
+init_component /home/isabelle/contrib_devel/kodkodi
diff -r 1bdef0c013d3 -r 698f0bfb560e Admin/isatest/settings/mac-poly
--- a/Admin/isatest/settings/mac-poly	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/mac-poly	Tue Feb 09 14:32:16 2010 +0100
@@ -24,3 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
 
+init_component /home/isabelle/contrib_devel/kodkodi
diff -r 1bdef0c013d3 -r 698f0bfb560e Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Tue Feb 09 14:32:16 2010 +0100
@@ -25,3 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
+init_component /home/isabelle/contrib_devel/kodkodi
diff -r 1bdef0c013d3 -r 698f0bfb560e Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Tue Feb 09 14:32:16 2010 +0100
@@ -25,3 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
+init_component /home/isabelle/contrib_devel/kodkodi
+