X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=845367ad1efebcd8482bcc3b79ffa24d30232e9f;hb=57bc566097b92e1f809ae227b674b48ba7953a62;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 @@