X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=b992b2694e138cee8e33ca6cb70931f2f12c68fa;hb=0775f6acafa9aa176d148a8f3acf7e750c1c3171;hp=94ec8dc6a8c627afeaac2823c6970d9e7c52a6aa;hpb=e4807fdacd5b71bfd2e754f42f520d82fd178386;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 94ec8dc6a..b992b2694 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -1,8 +1,8 @@ - Matita home page - download - + Matita - Download +