1.1 --- a/Admin/isatest/settings/at-poly	Tue Feb 09 11:47:47 2010 +0100
     1.2 +++ b/Admin/isatest/settings/at-poly	Tue Feb 09 14:32:16 2010 +0100
     1.3 @@ -24,3 +24,4 @@
     1.4  
     1.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
     1.6  
     1.7 +init_component /home/isabelle/contrib_devel/kodkodi

     2.1 --- a/Admin/isatest/settings/mac-poly	Tue Feb 09 11:47:47 2010 +0100
     2.2 +++ b/Admin/isatest/settings/mac-poly	Tue Feb 09 14:32:16 2010 +0100
     2.3 @@ -24,3 +24,4 @@
     2.4  
     2.5  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
     2.6  
     2.7 +init_component /home/isabelle/contrib_devel/kodkodi

     3.1 --- a/Admin/isatest/settings/mac-poly-M4	Tue Feb 09 11:47:47 2010 +0100
     3.2 +++ b/Admin/isatest/settings/mac-poly-M4	Tue Feb 09 14:32:16 2010 +0100
     3.3 @@ -25,3 +25,4 @@
     3.4  
     3.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
     3.6  
     3.7 +init_component /home/isabelle/contrib_devel/kodkodi

     4.1 --- a/Admin/isatest/settings/mac-poly-M8	Tue Feb 09 11:47:47 2010 +0100
     4.2 +++ b/Admin/isatest/settings/mac-poly-M8	Tue Feb 09 14:32:16 2010 +0100
     4.3 @@ -25,3 +25,5 @@
     4.4  
     4.5  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
     4.6  
     4.7 +init_component /home/isabelle/contrib_devel/kodkodi
     4.8 +