]> matita.cs.unibo.it Git - helm.git/commit
better images
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 7 Dec 2008 18:05:18 +0000 (18:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 7 Dec 2008 18:05:18 +0000 (18:05 +0000)
commitc17bf9267f424442bdde6b6b131711f160232555
treed6866e154abc9b6fb9eaebc0cb4a921717017392
parent7a060397679753a0233139b1ba83ac83c2c49949
better images
helm/software/matita/help/C/figures/vbox1.png
helm/software/matita/help/C/figures/vbox2.png
helm/software/matita/help/C/figures/vbox3.5.png [new file with mode: 0644]
helm/software/matita/help/C/figures/vbox3.png
helm/software/matita/help/C/figures/vbox4.png
helm/software/matita/help/C/figures/vbox5.png
helm/software/matita/help/C/sec_install.xml