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.
internal session timing;
authorwenzelm
Sat, 25 Jul 2009 14:32:35 +0200
changeset 32191 348a66f821bf
parent 32190 4fc7a882b41e
child 32192 eb09607094b3
internal session timing;
Admin/isatest/settings/mac-poly-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M8 file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/mac-poly-M4	Sat Jul 25 14:18:26 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Sat Jul 25 14:32:35 2009 +0200
@@ -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 -M 4 -t true"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
--- a/Admin/isatest/settings/mac-poly-M8	Sat Jul 25 14:18:26 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Sat Jul 25 14:32:35 2009 +0200
@@ -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"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
isabelle