| changeset 35331 | 450ab945c451 |
| parent 35312 | 99cd1f96b400 |
| child 35335 | f715cfde056a |
--- a/doc-src/Nitpick/nitpick.tex Tue Feb 23 12:14:46 2010 +0100 +++ b/doc-src/Nitpick/nitpick.tex Tue Feb 23 14:11:36 2010 +0100 @@ -1910,7 +1910,7 @@ (\S\ref{output-format}).} \optrue{assms}{no\_assms} -Specifies whether the relevant assumptions in structured proof should be +Specifies whether the relevant assumptions in structured proofs should be considered. The option is implicitly enabled for automatic runs. \nopagebreak