]> matita.cs.unibo.it Git - helm.git/commit
More changes to the website (matitaweb).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 3 Apr 2012 13:33:04 +0000 (13:33 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 3 Apr 2012 13:33:04 +0000 (13:33 +0000)
commit8768546a22a4bb31227b729c2162e2f98ee615f6
tree89d0378b4d12b61c7bc4de4a74c2567009eb3727
parentc6ebbcf8350dcf0b8020c9fcea27d7d9336df463
More changes to the website (matitaweb).
helm/www/matita/matitaweb.shtml
helm/www/matita/news.shtml