X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fmatita.pdf;h=78a10f2a329b38dedae1ce00e160e604edf6e7e0;hb=87bef7804f0856b8ef7593d7512cecda2f36773f;hp=67cbf2b4e8770790e591ec73f56676db9d802634;hpb=7f56b88d499cebba2646adf6e8f28cdf2b215a44;p=helm.git diff --git a/matita/matita/help/C/matita.pdf b/matita/matita/help/C/matita.pdf index 67cbf2b4e..78a10f2a3 100644 Binary files a/matita/matita/help/C/matita.pdf and b/matita/matita/help/C/matita.pdf differ