doc-src/gfx/isabelle_nitpick.pdf
2009-10-29 blanchet 2009-10-29 fixed minor problems with Nitpick's documentation
2009-10-22 blanchet 2009-10-22 Added Nitpick manual.