--- a/Admin/isatest/settings/at-mac-poly-5.1-para Mon Jul 20 17:14:06 2009 +0200
+++ b/Admin/isatest/settings/at-mac-poly-5.1-para Mon Jul 20 19:58:11 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"
--- a/Admin/isatest/settings/at-poly-5.1-para-e Mon Jul 20 17:14:06 2009 +0200
+++ b/Admin/isatest/settings/at-poly-5.1-para-e Mon Jul 20 19:58:11 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"
--- a/Admin/isatest/settings/at64-poly-5.1-para Mon Jul 20 17:14:06 2009 +0200
+++ b/Admin/isatest/settings/at64-poly-5.1-para Mon Jul 20 19:58:11 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"
--- a/Admin/isatest/settings/mac-poly-M4 Mon Jul 20 17:14:06 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M4 Mon Jul 20 19:58:11 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"
--- a/Admin/isatest/settings/mac-poly-M8 Mon Jul 20 17:14:06 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M8 Mon Jul 20 19:58:11 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"
--- a/Admin/isatest/settings/mac-poly64-M4 Mon Jul 20 17:14:06 2009 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4 Mon Jul 20 19:58:11 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"
--- a/doc-src/System/Thy/Presentation.thy Mon Jul 20 17:14:06 2009 +0200
+++ b/doc-src/System/Thy/Presentation.thy Mon Jul 20 19:58:11 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)
--- a/doc-src/System/Thy/document/Presentation.tex Mon Jul 20 17:14:06 2009 +0200
+++ b/doc-src/System/Thy/document/Presentation.tex Mon Jul 20 19:58:11 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)