X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual-0.5.9%2Ffigures%2Fvbox1.png;fp=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual-0.5.9%2Ffigures%2Fvbox1.png;h=f7c85fe07662f9fa25116fb06d86e5db72c9d734;hb=5b05d943dc8ebfe10e8932795f7f7aa8ef0b4ebc;hp=0000000000000000000000000000000000000000;hpb=7c86bc0cda903d7cac66e2d4cb81bca345b4b5bc;p=helm.git diff --git a/helm/www/matita/docs/manual-0.5.9/figures/vbox1.png b/helm/www/matita/docs/manual-0.5.9/figures/vbox1.png new file mode 100644 index 000000000..f7c85fe07 Binary files /dev/null and b/helm/www/matita/docs/manual-0.5.9/figures/vbox1.png differ