changeset 32292 | ceb7190d7a52 |
parent 32191 | 348a66f821bf |
child 33156 | 57222d336c86 |
1.1 --- a/Admin/isatest/settings/mac-poly-M8 Thu Jul 30 23:09:29 2009 +0200 1.2 +++ b/Admin/isatest/settings/mac-poly-M8 Thu Jul 30 23:23:52 2009 +0200 1.3 @@ -23,6 +23,6 @@ 1.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" 1.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" 1.6 1.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true" 1.8 +ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true -q 2" 1.9 1.10 HOL_USEDIR_OPTIONS="-p 2 -q 0"