X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Ffigures%2Fvbox1.png;h=f7c85fe07662f9fa25116fb06d86e5db72c9d734;hb=c17bf9267f424442bdde6b6b131711f160232555;hp=f35e3ae484498aaed49029ce2b607f1fa89fea07;hpb=7a060397679753a0233139b1ba83ac83c2c49949;p=helm.git diff --git a/helm/software/matita/help/C/figures/vbox1.png b/helm/software/matita/help/C/figures/vbox1.png index f35e3ae48..f7c85fe07 100644 Binary files a/helm/software/matita/help/C/figures/vbox1.png and b/helm/software/matita/help/C/figures/vbox1.png differ