# HG changeset patch # User wenzelm # Date 1265720067 -3600 # Node ID fc1594f6adbc027d0472a904a6854799300e1e49 # Parent be1e25a62ec8e4a79a3b9792d9a72ab636aba64b isatest: activated HOL-Nitpick_Examples (by adding component kodkodi) on some platforms where it mostly works as expected; diff -r be1e25a62ec8 -r fc1594f6adbc Admin/isatest/settings/at-poly --- a/Admin/isatest/settings/at-poly Tue Feb 09 08:28:12 2010 +0100 +++ b/Admin/isatest/settings/at-poly Tue Feb 09 13:54:27 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 be1e25a62ec8 -r fc1594f6adbc Admin/isatest/settings/mac-poly --- a/Admin/isatest/settings/mac-poly Tue Feb 09 08:28:12 2010 +0100 +++ b/Admin/isatest/settings/mac-poly Tue Feb 09 13:54:27 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 be1e25a62ec8 -r fc1594f6adbc Admin/isatest/settings/mac-poly-M4 --- a/Admin/isatest/settings/mac-poly-M4 Tue Feb 09 08:28:12 2010 +0100 +++ b/Admin/isatest/settings/mac-poly-M4 Tue Feb 09 13:54:27 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 be1e25a62ec8 -r fc1594f6adbc Admin/isatest/settings/mac-poly-M8 --- a/Admin/isatest/settings/mac-poly-M8 Tue Feb 09 08:28:12 2010 +0100 +++ b/Admin/isatest/settings/mac-poly-M8 Tue Feb 09 13:54:27 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 +