X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2FFILES%2Fmatita-tut.pdf;h=17003d36b9d06ee3d30a6d77b822b58703df60e2;hb=062205f9595812819a8783df5b578a5683b27d09;hp=bd053b6474a60c5f4a69e050670f2acdc12fb790;hpb=88f5c7cb4064789bbc941fb3a86b4858e0e46d56;p=helm.git

diff --git a/helm/www/matita/FILES/matita-tut.pdf b/helm/www/matita/FILES/matita-tut.pdf
index bd053b647..17003d36b 100644
Binary files a/helm/www/matita/FILES/matita-tut.pdf and b/helm/www/matita/FILES/matita-tut.pdf differ