1.1 --- a/doc-src/Nitpick/nitpick.tex	Thu May 27 15:28:23 2010 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Thu May 27 16:42:03 2010 +0200
     1.3 @@ -2226,9 +2226,8 @@
     1.4  sometimes helpful when investigating why a counterexample is
     1.5  genuine, but they can clutter the output.
     1.6  
     1.7 -\opfalse{show\_all}{dont\_show\_all}
     1.8 -Enabling this option effectively enables \textit{show\_datatypes} and
     1.9 -\textit{show\_consts}.
    1.10 +\opnodefault{show\_all}{bool}
    1.11 +Abbreviation for \textit{show\_datatypes} and \textit{show\_consts}.
    1.12  
    1.13  \opdefault{max\_potential}{int}{$\mathbf{1}$}
    1.14  Specifies the maximum number of potential counterexamples to display. Setting