]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03a1813) | patch
virtualbox guide almost ok
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 28 Nov 2008 12:11:25 +0000 (12:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 28 Nov 2008 12:11:25 +0000 (12:11 +0000)
commite0c7f58fd9e59598ea3e30542807efd61e1bb53f
treed203d9a3b55b2a17d37481f06273e99ad8d8d3c5tree | snapshot
parent03a181376f1d4a18ea963d2dfe1c37e6945806c1commit | diff
virtualbox guide almost ok
helm/software/matita/help/C/figures/vbox4.png [new file with mode: 0644] blob
helm/software/matita/help/C/figures/vbox5.png [new file with mode: 0644] blob
helm/software/matita/help/C/figures/vbox6.png [new file with mode: 0644] blob
helm/software/matita/help/C/figures/vbox7.png [new file with mode: 0644] blob
helm/software/matita/help/C/sec_install.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.