]> matita.cs.unibo.it Git - helm.git/commit
added small version of the matita logo
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 16:03:44 +0000 (16:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 16:03:44 +0000 (16:03 +0000)
commit46556fd4c9c1d6b51d1ef85b0bc348010b41eb84
tree2837c5a4d1071c29a01381101a502b044a687151
parent9ef9dee20a757c8bbf0aad2eb51e4c809281b371
added small version of the matita logo
helm/www/matita/images/matita-small.png [new file with mode: 0644]