X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fmatita.pdf;h=ca672325848c53a4c5ba462e9eb26480fc3c3ddf;hb=0d6b83167358b4015beea961f79c577f9ff0d88d;hp=78a10f2a329b38dedae1ce00e160e604edf6e7e0;hpb=9bd8f35d3929c7b8bd3ad30b564bb7ebe8f1f322;p=helm.git diff --git a/matita/matita/help/C/matita.pdf b/matita/matita/help/C/matita.pdf index 78a10f2a3..ca6723258 100644 Binary files a/matita/matita/help/C/matita.pdf and b/matita/matita/help/C/matita.pdf differ