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"

     2.1 --- a/Admin/isatest/settings/mac-poly-M8	Thu Jul 30 23:09:29 2009 +0200
     2.2 +++ b/Admin/isatest/settings/mac-poly-M8	Thu Jul 30 23:23:52 2009 +0200
     2.3 @@ -23,6 +23,6 @@
     2.4  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
     2.5  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     2.6  
     2.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true"
     2.8 +ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true -q 2"
     2.9  
    2.10  HOL_USEDIR_OPTIONS="-p 2 -q 0"

     3.1 --- a/etc/settings	Thu Jul 30 23:09:29 2009 +0200
     3.2 +++ b/etc/settings	Thu Jul 30 23:23:52 2009 +0200
     3.3 @@ -92,7 +92,7 @@
     3.4  ### Batch sessions (cf. isabelle usedir)
     3.5  ###
     3.6  
     3.7 -ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
     3.8 +ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
     3.9  
    3.10  # Specifically for the HOL image
    3.11  HOL_USEDIR_OPTIONS=""