X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fmatita.pdf;h=ca672325848c53a4c5ba462e9eb26480fc3c3ddf;hb=c2ae3d595414cd5e7f841330cbba57b56af925c5;hp=67cbf2b4e8770790e591ec73f56676db9d802634;hpb=0bd2689daf20b6252d547144412c004290e9201c;p=helm.git

diff --git a/matita/matita/help/C/matita.pdf b/matita/matita/help/C/matita.pdf
index 67cbf2b4e..ca6723258 100644
Binary files a/matita/matita/help/C/matita.pdf and b/matita/matita/help/C/matita.pdf differ