X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Ffigures%2Fvbox1.png;h=f7c85fe07662f9fa25116fb06d86e5db72c9d734;hb=e1d6716c5560b046e0a7d0d871cc01a64cb31ca8;hp=f35e3ae484498aaed49029ce2b607f1fa89fea07;hpb=5e298949f797425204d43371d182668e3a056c00;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