X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Ffigures%2Fvbox2.png;fp=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Ffigures%2Fvbox2.png;h=8d2182f5ca42ad229c131b0bd30ba49a97322be3;hb=c17bf9267f424442bdde6b6b131711f160232555;hp=0f34a950156bca0a5f44e441d098beafa083ab75;hpb=7a060397679753a0233139b1ba83ac83c2c49949;p=helm.git diff --git a/helm/software/matita/help/C/figures/vbox2.png b/helm/software/matita/help/C/figures/vbox2.png index 0f34a9501..8d2182f5c 100644 Binary files a/helm/software/matita/help/C/figures/vbox2.png and b/helm/software/matita/help/C/figures/vbox2.png differ