X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=36ea8291573ea2630fed112001eca69cd2af8749;hb=3f80c07b790d3abdb3aafcd1da33f14fa90ada25;hp=12bbf9961dc5a827fafc9e06547049b1468903fa;hpb=b08fc6cc9775b74ab859541ce42f0b87dd7f42de;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 12bbf9961..36ea82915 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -18,11 +18,12 @@