X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=6ef651759f927bbb6380f4eb7fb0e021e2a838a4;hb=391f9cda43ee8c6d032358e86d12d3633e107a61;hp=245cba1c3898c46c393abe70a1c4c8f263698220;hpb=aaefdd61e5a4bf25645812676c977a5a863daa33;p=helm.git diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 245cba1c3..6ef651759 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -5,7 +5,7 @@