1.1 --- a/doc-src/Nitpick/nitpick.tex	Tue Jun 01 10:40:23 2010 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Tue Jun 01 11:58:50 2010 +0200
     1.3 @@ -1897,6 +1897,8 @@
     1.4  
     1.5  \begin{enum}
     1.6  \item[$\bullet$] \qtybf{string}: A string.
     1.7 +\item[$\bullet$] \qtybf{string\_list\/}: A space-separated list of strings
     1.8 +(e.g., ``\textit{ichi ni san}'').
     1.9  \item[$\bullet$] \qtybf{bool\/}: \textit{true} or \textit{false}.
    1.10  \item[$\bullet$] \qtybf{bool\_or\_smart\/}: \textit{true}, \textit{false}, or \textit{smart}.
    1.11  \item[$\bullet$] \qtybf{int\/}: An integer. Negative integers are prefixed with a hyphen.
    1.12 @@ -2256,6 +2258,19 @@
    1.13  counterexamples. This option suffers from an ``observer effect'': Nitpick might
    1.14  find different counterexamples for different values of this option.
    1.15  
    1.16 +\oparg{atoms}{type}{string\_list}
    1.17 +Specifies the names to use to refer to the atoms of the given type. By default,
    1.18 +Nitpick generates names of the form $a_1, \ldots, a_n$, where $a$ is the first
    1.19 +letter of the type's name.
    1.20 +
    1.21 +\opnodefault{atoms}{string\_list}
    1.22 +Specifies the default names to use to refer to atoms of any type. For example,
    1.23 +to call the three atoms of type ${'}a$ \textit{ichi}, \textit{ni}, and
    1.24 +\textit{san} instead of $a_1$, $a_2$, $a_3$, specify the option
    1.25 +``\textit{atoms}~${'}a$ = \textit{ichi~ni~san}''. The default names can be
    1.26 +overridden on a per-type basis using the \textit{atoms}~\qty{type} option
    1.27 +described above.
    1.28 +
    1.29  \oparg{format}{term}{int\_seq}
    1.30  Specifies how to uncurry the value displayed for a variable or constant.
    1.31  Uncurrying sometimes increases the readability of the output for high-arity