]> matita.cs.unibo.it Git - helm.git/commit
Various updates to the (obsolete) website.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 3 Apr 2012 11:31:03 +0000 (11:31 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 3 Apr 2012 11:31:03 +0000 (11:31 +0000)
commitc6ebbcf8350dcf0b8020c9fcea27d7d9336df463
tree55a29d04aa31070869d5095f52e6382c8f05060a
parentf336cc57864e1aebe9256240bf523fa5970d025a
Various updates to the (obsolete) website.
helm/www/matita/development.shtml
helm/www/matita/documentation.shtml
helm/www/matita/download.shtml
helm/www/matita/library.shtml
helm/www/matita/matita.shtml
helm/www/matita/matita_it.shtml
helm/www/matita/matitaweb.shtml [new file with mode: 0644]
helm/www/matita/menubar.shtml
helm/www/matita/news.shtml
helm/www/matita/papers.shtml