]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c5ffc8) | patch
first draft
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 10:53:44 +0000 (10:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 10:53:44 +0000 (10:53 +0000)
commitdfed126791398d57e02d3d2301fe5c174f0b1936
treee7d0aa7404c0cad64b707fb7842a5041e711d226tree | snapshot
parent9c5ffc85f9cac2ccf3176c72683f1d2c411c3951commit | diff
first draft
helm/matita_homepage/bg.png [new file with mode: 0644] blob
helm/matita_homepage/matita.html [new file with mode: 0644] blob
helm/matita_homepage/matita.png [new file with mode: 0644] blob
helm/matita_homepage/matita.xcf [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.