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.
unset KODKODI explicitly -- apparently isatest patches settings cumulatively;
authorwenzelm
Wed, 10 Feb 2010 12:03:13 +0100
changeset 35088 6591285a6a59
parent 35086 92a8c9ea5aa7
child 35089 17b7940f43e4
unset KODKODI explicitly -- apparently isatest patches settings cumulatively;
Admin/isatest/settings/at-mac-poly-5.1-para file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-5.1-para-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-p file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly-5.1-para file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-sml-dev file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M8 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-sml-dev file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-sml file | annotate | diff | comparison | revisions
Admin/isatest/settings/sun-sml-dev file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
+unset KODKODI
--- a/Admin/isatest/settings/at-poly-5.1-para-e	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-poly-5.1-para-e	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 10"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at-poly-dev-e	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-poly-dev-e	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at-sml	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-sml	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at-sml-dev-e	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-sml-dev-e	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at-sml-dev-p	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at-sml-dev-p	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at64-poly	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at64-poly	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at64-poly-5.1-para	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at64-poly-5.1-para	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/at64-sml-dev	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/at64-sml-dev	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/mac-poly64-M8	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/mac-poly64-M8	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/mac-sml-dev	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/mac-sml-dev	Wed Feb 10 12:03:13 2010 +0100
@@ -24,3 +24,5 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/sun-poly	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/sun-poly	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/sun-sml	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/sun-sml	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
--- a/Admin/isatest/settings/sun-sml-dev	Wed Feb 10 08:54:56 2010 +0100
+++ b/Admin/isatest/settings/sun-sml-dev	Wed Feb 10 12:03:13 2010 +0100
@@ -25,3 +25,5 @@
 # ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
 
+unset KODKODI
+
isabelle