X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=4cb9934c04a485856749d346bbbddf9d8a1cd79c;hb=c87a73806365feadc23300194a42ab8edb0f8b1b;hp=9e14a22350efaf7534b0486dddaaa90475fe45d2;hpb=bebab8438ad7ef5c1ce0d5f4760f0a6e4c75bbaa;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 9e14a2235..4cb9934c0 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -18,11 +18,12 @@