]> matita.cs.unibo.it Git - helm.git/commit
yet another screenshot
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 11:37:11 +0000 (11:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 10 Jun 2006 11:37:11 +0000 (11:37 +0000)
commit3f55b3f76a5228ec5b97664469941736b9fb0202
treeb7b558c4d46a0a72d239da9d66ca997092983297
parent2a60d8bb599605a8f6a132f4a016b21de39b16d2
yet another screenshot
helm/www/matita/matita.shtml
helm/www/matita/style.css