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.
more uniform ISABELLE_USEDIR_OPTIONS;
authorwenzelm
Sun, 25 Oct 2009 13:14:00 +0100
changeset 33160 ccbd4ad5a965
parent 33159 369da293bbd4
child 33161 165a9f490d98
more uniform ISABELLE_USEDIR_OPTIONS;
Admin/isatest/settings/at-mac-poly-5.1-para 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-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M8 file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Sun Oct 25 13:04:06 2009 +0100
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Sun Oct 25 13:14:00 2009 +0100
@@ -23,6 +23,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
--- a/Admin/isatest/settings/mac-poly-M4	Sun Oct 25 13:04:06 2009 +0100
+++ b/Admin/isatest/settings/mac-poly-M4	Sun Oct 25 13:14:00 2009 +0100
@@ -23,6 +23,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4 -t true -q 2"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
--- a/Admin/isatest/settings/mac-poly-M8	Sun Oct 25 13:04:06 2009 +0100
+++ b/Admin/isatest/settings/mac-poly-M8	Sun Oct 25 13:14:00 2009 +0100
@@ -23,6 +23,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true -q 2"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
--- a/Admin/isatest/settings/mac-poly64-M4	Sun Oct 25 13:04:06 2009 +0100
+++ b/Admin/isatest/settings/mac-poly64-M4	Sun Oct 25 13:14:00 2009 +0100
@@ -23,6 +23,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4 -q 2 -t true"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 2"
--- a/Admin/isatest/settings/mac-poly64-M8	Sun Oct 25 13:04:06 2009 +0100
+++ b/Admin/isatest/settings/mac-poly64-M8	Sun Oct 25 13:14:00 2009 +0100
@@ -23,6 +23,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -q 2 -t true"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 2"
isabelle