1.1 --- a/doc-src/Nitpick/nitpick.tex	Wed Apr 21 14:02:34 2010 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Wed Apr 21 14:46:29 2010 +0200
     1.3 @@ -1506,7 +1506,7 @@
     1.4  section were produced with the following settings:
     1.5  
     1.6  \prew
     1.7 -\textbf{nitpick\_params} [\textit{max\_potential}~= 0,\, \textit{max\_threads} = 2]
     1.8 +\textbf{nitpick\_params} [\textit{max\_potential}~= 0]
     1.9  \postw
    1.10  
    1.11  \subsection{A Context-Free Grammar}

     2.1 --- a/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 21 14:02:34 2010 +0200
     2.2 +++ b/src/HOL/Nitpick_Examples/Manual_Nits.thy	Wed Apr 21 14:46:29 2010 +0200
     2.3 @@ -337,7 +337,7 @@
     2.4  
     2.5  section {* 4. Case Studies *}
     2.6  
     2.7 -nitpick_params [max_potential = 0, max_threads = 2]
     2.8 +nitpick_params [max_potential = 0]
     2.9  
    2.10  subsection {* 4.1. A Context-Free Grammar *}
    2.11