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.
merged
authorhaftmann
Tue, 09 Feb 2010 14:32:16 +0100
changeset 35065 698f0bfb560e
parent 35064 1bdef0c013d3 (current diff)
parent 35062 fc1594f6adbc (diff)
child 35066 894e82be8d05
merged
--- a/Admin/isatest/settings/at-poly	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/at-poly	Tue Feb 09 14:32:16 2010 +0100
@@ -24,3 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
+init_component /home/isabelle/contrib_devel/kodkodi
--- a/Admin/isatest/settings/mac-poly	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/mac-poly	Tue Feb 09 14:32:16 2010 +0100
@@ -24,3 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false"
 
+init_component /home/isabelle/contrib_devel/kodkodi
--- a/Admin/isatest/settings/mac-poly-M4	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Tue Feb 09 14:32:16 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
--- a/Admin/isatest/settings/mac-poly-M8	Tue Feb 09 11:47:47 2010 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Tue Feb 09 14:32:16 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
+
isabelle