X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=845367ad1efebcd8482bcc3b79ffa24d30232e9f;hb=e3a8bcf815ee8b619687007867205f24d501ebfa;hp=4a53073afe9e171fe3357850c60ecd188fc446c4;hpb=884876e28023324f68c97f1e387431d21b0a6453;p=helm.git diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 4a53073af..845367ad1 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -96,6 +96,7 @@