# HG changeset patch
# User blanchet
# Date 1321613232 -3600
# Node ID ccb904a09e70dcdd257c04cdea28690cf7bb025e
# Parent  6d95a66cce00673a805b80e3a48a6a412e25e02f
minor textual improvement

diff -r 6d95a66cce00 -r ccb904a09e70 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Fri Nov 18 11:47:12 2011 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Fri Nov 18 11:47:12 2011 +0100
@@ -1831,7 +1831,7 @@
 {\slshape Nitpick ran out of time after checking 7 of 10 scopes.}
 \postw
 
-We could continue like this and sketch a complete theory of AA trees. Once the
+We could continue like this and sketch a full-blown theory of AA trees. Once the
 definitions and main theorems are in place and have been thoroughly tested using
 Nitpick, we could start working on the proofs. Developing theories this way
 usually saves time, because faulty theorems and definitions are discovered much