]> matita.cs.unibo.it Git - helm.git/commit
added images and links for validation
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 22:30:27 +0000 (22:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 22:30:27 +0000 (22:30 +0000)
commit28959d029595595f2d4218fb3202e838f457c3d3
tree5bf21c2a3c362e8eb77bbb4e4aee6f774832ee6d
parentfdf2f441d2c82e3b14fa19c366610d367fb1e4fb
added images and links for validation
helm/www/matita/developers.html
helm/www/matita/images/valid-css.png [new file with mode: 0644]
helm/www/matita/images/valid-xhtml10.png [new file with mode: 0644]
helm/www/matita/style.css