]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 21:41:22 +0000 (21:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 21:41:22 +0000 (21:41 +0000)
commit65040d32e75590b098df154c7ba0be66e62cace8
tree7a209d63f737d876373d05d99ce524be7924ed04
parent8fce94174a3641be17df8d83c6e7a895a8c373be
fix
helm/www/matita/community.html
helm/www/matita/developers.html
helm/www/matita/documentation.html
helm/www/matita/download.html
helm/www/matita/style.css [new file with mode: 0644]