diff -r bef9e5dd0fd0 -r 08a9970ca2fe Admin/isatest/settings/cygwin-poly-e
--- a/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 13:45:39 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 15:47:59 2010 +0200
@@ -24,6 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
-# Disable while Jasmin is on vacation
-unset KODKODI
-#init_component "$HOME/contrib_devel/kodkodi"
+init_component "$HOME/contrib_devel/kodkodi"