X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=4cb9934c04a485856749d346bbbddf9d8a1cd79c;hb=40b85b6717785a7b24f2bc0680e716655b8faf99;hp=4be2801c7011b260b3ce5304457d4093831084d3;hpb=09485b72e01e5aa1d2a03fa56e3c7e0dfef7d3d3;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 4be2801c7..4cb9934c0 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -23,7 +23,7 @@ -->