]> matita.cs.unibo.it Git - helm.git/commit
fixed download links and added underlined hyperlinks
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 17:39:06 +0000 (17:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 17:39:06 +0000 (17:39 +0000)
commit37e0a6ded28116214bbe96a965589d98ed733db3
tree2550346a66a1065fc8e29cef57e369a5844df067
parentbf00dddb49e51a5fa1eb5eb8f73bf29632daf576
fixed download links and added underlined hyperlinks
helm/www/matita/download.shtml
helm/www/matita/style.css