doc-src/gfx/isabelle_nitpick.pdf
author blanchet
Thu Oct 29 11:41:11 2009 +0100 (2009-10-29)
changeset 33564 75ce0f60617a
parent 33191 fe3c65d9c577
permissions -rw-r--r--
fixed minor problems with Nitpick's documentation
blanchet@33564
     1
(binary:application/pdf)