X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=adb9981fd7b703c1bc6473c44d7cb8ae93803aad;hb=3cb42e0873c101c6c5a8b9967d765b5135882685;hp=35f31ed8ab650ab643b3cbe3ec20dfc0a3db7463;hpb=5ff04bcc9c157bc186e450cca5c2d632af3f6be6;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 35f31ed8a..adb9981fd 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -18,11 +18,12 @@