]> matita.cs.unibo.it Git - helm.git/commit
0.5.5
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 18 Nov 2008 12:50:57 +0000 (12:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 18 Nov 2008 12:50:57 +0000 (12:50 +0000)
commit24954699430cd35c4486b1f14ab8b51cffb2cf05
tree98ee218259ce27cb0d446269a3e629a54ea3b5f3
parent645f1dd2063a42d8deb74069d83b0589a61270d2
0.5.5
helm/www/matita/download.shtml
helm/www/matita/news.shtml
helm/www/matita/news_it.shtml