# HG changeset patch
# User wenzelm
# Date 1248989032 -7200
# Node ID ceb7190d7a5260551a91d1bc92885ec4674e0e19
# Parent  2a9ba0bb7739614b92114872f1b8c97d3682f3f2
ISABELLE_USEDIR_OPTIONS: -q 2 by default;

diff -r 2a9ba0bb7739 -r ceb7190d7a52 Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Thu Jul 30 23:09:29 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Thu Jul 30 23:23:52 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 4 -t true"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4 -t true -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
diff -r 2a9ba0bb7739 -r ceb7190d7a52 Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Thu Jul 30 23:09:29 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Thu Jul 30 23:23:52 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 -t true"
+ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8 -t true -q 2"
 
 HOL_USEDIR_OPTIONS="-p 2 -q 0"
diff -r 2a9ba0bb7739 -r ceb7190d7a52 etc/settings
--- a/etc/settings	Thu Jul 30 23:09:29 2009 +0200
+++ b/etc/settings	Thu Jul 30 23:23:52 2009 +0200
@@ -92,7 +92,7 @@
 ### Batch sessions (cf. isabelle usedir)
 ###
 
-ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
+ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
 
 # Specifically for the HOL image
 HOL_USEDIR_OPTIONS=""