]> matita.cs.unibo.it Git - helm.git/commit
wording
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 23:59:27 +0000 (23:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 23:59:27 +0000 (23:59 +0000)
commiteae7632cf7e822dde484d1e630cc58993bfd8d3a
tree36044b4a9c43608493b396b21933e7eeaba20fb6
parent0775f6acafa9aa176d148a8f3acf7e750c1c3171
wording
helm/www/matita/matita.shtml