X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Ffigures%2Fvbox3.png;h=48f6309bb0f46983ec7979517e3a13c2a2513d21;hb=dc6723959a8e035e2935ca66bd3043de8eb11b42;hp=f28ac363ddf2088702b3688013b3eb8d6d9a8aa3;hpb=5e298949f797425204d43371d182668e3a056c00;p=helm.git

diff --git a/helm/software/matita/help/C/figures/vbox3.png b/helm/software/matita/help/C/figures/vbox3.png
index f28ac363d..48f6309bb 100644
Binary files a/helm/software/matita/help/C/figures/vbox3.png and b/helm/software/matita/help/C/figures/vbox3.png differ