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.
reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor
authorblanchet
Wed, 04 Jan 2012 00:30:53 +0100
changeset 46108 1c314d838676
parent 46107 e740ffcd0ef4
child 46109 03e3b4b401e9
reenable Kodkodi in Isatest now that Nitpick has been ported to 'a set constructor
Admin/isatest/settings/afp-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-test file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/cygwin-poly-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M2 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M8 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M2 file | annotate | diff | comparison | revisions
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/afp-poly	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/afp-poly	Wed Jan 04 00:30:53 2012 +0100
@@ -28,4 +28,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
-#init_component "$CONTRIB/kodkodi-1.2.16"
+init_component "$CONTRIB/kodkodi"
--- a/Admin/isatest/settings/at-poly	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/at-poly	Wed Jan 04 00:30:53 2012 +0100
@@ -24,5 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
 
--- a/Admin/isatest/settings/at-poly-e	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/at-poly-e	Wed Jan 04 00:30:53 2012 +0100
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/at-poly-test	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/at-poly-test	Wed Jan 04 00:30:53 2012 +0100
@@ -28,4 +28,4 @@
 ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/at64-poly	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/at64-poly	Wed Jan 04 00:30:53 2012 +0100
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/cygwin-poly-e	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/cygwin-poly-e	Wed Jan 04 00:30:53 2012 +0100
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
-#init_component "$HOME/contrib/kodkodi-1.2.16"
+init_component "$HOME/contrib/kodkodi"
--- a/Admin/isatest/settings/mac-poly-M2	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/mac-poly-M2	Wed Jan 04 00:30:53 2012 +0100
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
 
--- a/Admin/isatest/settings/mac-poly-M4	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Wed Jan 04 00:30:53 2012 +0100
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/mac-poly-M8	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Wed Jan 04 00:30:53 2012 +0100
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
 
--- a/Admin/isatest/settings/mac-poly64-M2	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/mac-poly64-M2	Wed Jan 04 00:30:53 2012 +0100
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
 
--- a/Admin/isatest/settings/mac-poly64-M4	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/mac-poly64-M4	Wed Jan 04 00:30:53 2012 +0100
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
--- a/Admin/isatest/settings/mac-poly64-M8	Tue Jan 03 23:41:59 2012 +0100
+++ b/Admin/isatest/settings/mac-poly64-M8	Wed Jan 04 00:30:53 2012 +0100
@@ -25,5 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
-#init_component "$HOME/contrib_devel/kodkodi-1.2.16"
+init_component "$HOME/contrib_devel/kodkodi"
isabelle