Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8;
authorwenzelm
Wed, 17 Feb 2010 22:32:05 +0100
changeset 35193 3979b0729802
parent 35192 a815c3f4eef2
child 35197 5c5457a7be85
child 35213 b9866ad4e3be
isatest: activated HOL-Nitpick_Examples for x86_64-darwin -- should now work with kodkodi-1.2.8;
Admin/isatest/settings/mac-poly64-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M8 file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/mac-poly64-M4	Wed Feb 17 21:13:40 2010 +0100
+++ b/Admin/isatest/settings/mac-poly64-M4	Wed Feb 17 22:32:05 2010 +0100
@@ -25,3 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
+init_component /home/isabelle/contrib_devel/kodkodi
+
--- a/Admin/isatest/settings/mac-poly64-M8	Wed Feb 17 21:13:40 2010 +0100
+++ b/Admin/isatest/settings/mac-poly64-M8	Wed Feb 17 22:32:05 2010 +0100
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
-unset KODKODI
+init_component /home/isabelle/contrib_devel/kodkodi
isabelle