# HG changeset patch
# User blanchet
# Date 1271853989 -7200
# Node ID 65aabc2c89aeff186b76f431489ea2718af97bc8
# Parent  26fb60d9d3f205ef832b53adcf2fd1cf3eb27d04
use only one thread in "Manual_Nits";
the second thread isn't helping much, and might very well be the cause of the Cygwin Isatest failure

diff -r 26fb60d9d3f2 -r 65aabc2c89ae doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Wed Apr 21 14:02:34 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex	Wed Apr 21 14:46:29 2010 +0200
@@ -1506,7 +1506,7 @@
 section were produced with the following settings:
 
 \prew
-\textbf{nitpick\_params} [\textit{max\_potential}~= 0,\, \textit{max\_threads} = 2]
+\textbf{nitpick\_params} [\textit{max\_potential}~= 0]
 \postw
 
 \subsection{A Context-Free Grammar}
diff -r 26fb60d9d3f2 -r 65aabc2c89ae src/HOL/Nitpick_Examples/Manual_Nits.thy
--- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 21 14:02:34 2010 +0200
+++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 21 14:46:29 2010 +0200
@@ -337,7 +337,7 @@
 
 section {* 4. Case Studies *}
 
-nitpick_params [max_potential = 0, max_threads = 2]
+nitpick_params [max_potential = 0]
 
 subsection {* 4.1. A Context-Free Grammar *}