1.1 --- a/Admin/isatest/settings/mac-poly-M4	Thu Jul 30 23:09:29 2009 +0200
     1.2 +++ b/Admin/isatest/settings/mac-poly-M4	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 4 -t true"
     1.8 +ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4 -t true -q 2"
     1.9  
    1.10  HOL_USEDIR_OPTIONS="-p 2 -q 0"