]> matita.cs.unibo.it Git - helm.git/commit
xml strict!
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Apr 2008 10:53:27 +0000 (10:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 30 Apr 2008 10:53:27 +0000 (10:53 +0000)
commit6c7be6bbe4e645f5ab99e82d322e1a70503781cb
tree509ff772b89b0fefc4feb7e0844dcebf580288ff
parent9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b
xml strict!
helm/www/matita/community.shtml
helm/www/matita/development.shtml
helm/www/matita/documentation.shtml
helm/www/matita/download.shtml
helm/www/matita/library.shtml