# HG changeset patch
# User wenzelm
# Date 1248112652 -7200
# Node ID 0a8b5dfee5a544e8ca4d9ed18819e602a73632f5
# Parent  457f5bcd3d76c5c85db5d40d0b06d592714e29a7
replaced usedir option -Q by more fine-grained -q;

diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 Admin/isatest/settings/at-mac-poly-5.1-para
--- a/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Jul 20 00:37:39 2009 +0200
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Mon Jul 20 19:57:32 2009 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
 
-HOL_USEDIR_OPTIONS="-p 2 -Q false"
+HOL_USEDIR_OPTIONS="-p 2 -q 0"
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 Admin/isatest/settings/at-poly-5.1-para-e
--- a/Admin/isatest/settings/at-poly-5.1-para-e	Mon Jul 20 00:37:39 2009 +0200
+++ b/Admin/isatest/settings/at-poly-5.1-para-e	Mon Jul 20 19:57:32 2009 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
 
-HOL_USEDIR_OPTIONS="-p 2 -Q false"
+HOL_USEDIR_OPTIONS="-p 2 -q 0"
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 Admin/isatest/settings/at64-poly-5.1-para
--- a/Admin/isatest/settings/at64-poly-5.1-para	Mon Jul 20 00:37:39 2009 +0200
+++ b/Admin/isatest/settings/at64-poly-5.1-para	Mon Jul 20 19:57:32 2009 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2"
 
-HOL_USEDIR_OPTIONS="-p 2 -Q false"
+HOL_USEDIR_OPTIONS="-p 2 -q 0"
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Mon Jul 20 00:37:39 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Mon Jul 20 19:57:32 2009 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
 
-HOL_USEDIR_OPTIONS="-p 2 -Q false"
+HOL_USEDIR_OPTIONS="-p 2 -q 1"
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Mon Jul 20 00:37:39 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Mon Jul 20 19:57:32 2009 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8"
 
-HOL_USEDIR_OPTIONS="-p 2 -Q false"
+HOL_USEDIR_OPTIONS="-p 2 -q 1"
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 Admin/isatest/settings/mac-poly64-M4
--- a/Admin/isatest/settings/mac-poly64-M4	Mon Jul 20 00:37:39 2009 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4	Mon Jul 20 19:57:32 2009 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
 
-HOL_USEDIR_OPTIONS="-p 2 -Q false"
+HOL_USEDIR_OPTIONS="-p 2 -q 1"
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 doc-src/System/Thy/Presentation.thy
--- a/doc-src/System/Thy/Presentation.thy	Mon Jul 20 00:37:39 2009 +0200
+++ b/doc-src/System/Thy/Presentation.thy	Mon Jul 20 19:57:32 2009 +0200
@@ -442,7 +442,6 @@
     -D PATH      dump generated document sources into PATH
     -M MAX       multithreading: maximum number of worker threads (default 1)
     -P PATH      set path for remote theory browsing information
-    -Q BOOL      check proofs in parallel (default true)
     -T LEVEL     multithreading: trace level (default 0)
     -V VERSION   declare alternative document VERSION
     -b           build mode (output heap image, using current dir)
diff -r 457f5bcd3d76 -r 0a8b5dfee5a5 doc-src/System/Thy/document/Presentation.tex
--- a/doc-src/System/Thy/document/Presentation.tex	Mon Jul 20 00:37:39 2009 +0200
+++ b/doc-src/System/Thy/document/Presentation.tex	Mon Jul 20 19:57:32 2009 +0200
@@ -468,7 +468,6 @@
     -D PATH      dump generated document sources into PATH
     -M MAX       multithreading: maximum number of worker threads (default 1)
     -P PATH      set path for remote theory browsing information
-    -Q BOOL      check proofs in parallel (default true)
     -T LEVEL     multithreading: trace level (default 0)
     -V VERSION   declare alternative document VERSION
     -b           build mode (output heap image, using current dir)