# HG changeset patch
# User wenzelm
# Date 1248525155 -7200
# Node ID 348a66f821bf4dc41b3186e1157c35a260e8515f
# Parent  4fc7a882b41e7f574362d791ed951feeeee962cd
internal session timing;

diff -r 4fc7a882b41e -r 348a66f821bf Admin/isatest/settings/mac-poly-M4
--- 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"
diff -r 4fc7a882b41e -r 348a66f821bf Admin/isatest/settings/mac-poly-M8
--- 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"