]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46556fd) | patch
scaled down
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 16:12:28 +0000 (16:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 16:12:28 +0000 (16:12 +0000)
commite55cacc87bf0a5880ac6c987dfbb1800d914280e
tree789e562f20bfbf55b558e9d350832e83963aba3btree | snapshot
parent46556fd4c9c1d6b51d1ef85b0bc348010b41eb84commit | diff
scaled down
helm/www/matita/images/matita-small.png diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.