| changeset 33160 | ccbd4ad5a965 |
| parent 32853 | 8b63f949fc37 |
| child 33539 | c40865233d7e |
--- 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"