1.1 --- a/doc-src/Nitpick/nitpick.tex	Sat Apr 24 16:44:45 2010 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Sat Apr 24 17:48:21 2010 +0200
     1.3 @@ -2258,9 +2258,6 @@
     1.4  arguments that are not accounted for are left alone, as if the specification had
     1.5  been $1,\ldots,1,n_1,\ldots,n_k$.
     1.6  
     1.7 -\nopagebreak
     1.8 -{\small See also \textit{uncurry} (\S\ref{optimizations}).}
     1.9 -
    1.10  \opdefault{format}{int\_seq}{$\mathbf{1}$}
    1.11  Specifies the default format to use. Irrespective of the default format, the
    1.12  extra arguments to a Skolem constant corresponding to the outer bound variables
    1.13 @@ -2474,15 +2471,6 @@
    1.14  {\small See also \textit{wf} (\S\ref{scope-of-search}), \textit{debug}
    1.15  (\S\ref{output-format}), and \textit{iter} (\S\ref{scope-of-search}).}
    1.16  
    1.17 -\optrue{uncurry}{dont\_uncurry}
    1.18 -Specifies whether Nitpick should uncurry functions. Uncurrying has on its own no
    1.19 -tangible effect on efficiency, but it creates opportunities for the boxing 
    1.20 -optimization.
    1.21 -
    1.22 -\nopagebreak
    1.23 -{\small See also \textit{box} (\S\ref{scope-of-search}), \textit{debug}
    1.24 -(\S\ref{output-format}), and \textit{format} (\S\ref{output-format}).}
    1.25 -
    1.26  \optrue{fast\_descrs}{full\_descrs}
    1.27  Specifies whether Nitpick should optimize the definite and indefinite
    1.28  description operators (THE and SOME). The optimized versions usually help