doc-src/Nitpick/nitpick.tex
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