1.1 --- a/doc-src/Nitpick/nitpick.tex	Mon Oct 26 14:57:49 2009 +0100
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Mon Oct 26 18:52:16 2009 +0100
     1.3 @@ -2091,11 +2091,11 @@
     1.4  \url{http://cs.technion.ac.il/~gershman/HaifaSat.htm}.
     1.5  
     1.6  \item[$\bullet$] \textbf{\textit{smart}}: If \textit{sat\_solver} is set to
     1.7 -\textit{smart}, Nitpick selects the first solver among MiniSat, PicoSAT, zChaff,
     1.8 -RSat, BerkMin, BerkMinAlloy, and Jerusat that is recognized by Isabelle. If none
     1.9 -is found, it falls back on SAT4J, which should always be available. If
    1.10 -\textit{verbose} is enabled, Nitpick displays which SAT solver was chosen.
    1.11 -
    1.12 +\textit{smart}, Nitpick selects the first solver among MiniSatJNI, MiniSat,
    1.13 +PicoSAT, zChaffJNI, zChaff, RSat, BerkMin, BerkMinAlloy, and Jerusat that is
    1.14 +recognized by Isabelle. If none is found, it falls back on SAT4J, which should
    1.15 +always be available. If \textit{verbose} is enabled, Nitpick displays which SAT
    1.16 +solver was chosen.
    1.17  \end{enum}
    1.18  \fussy
    1.19