| changeset 32191 | 348a66f821bf |
| parent 32143 | 6e4eb80e4a8c |
| child 32292 | ceb7190d7a52 |
--- 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"