X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita_it.shtml;h=eeafd975ebb01632c5d9a06a0738992d7674eeb9;hb=fbadb3454a52d879edc58a4a09ca46c1e77dce2f;hp=379be3d530d131aac01cf97adc2ed4bd751cba3f;hpb=884876e28023324f68c97f1e387431d21b0a6453;p=helm.git diff --git a/helm/www/matita/matita_it.shtml b/helm/www/matita/matita_it.shtml index 379be3d53..eeafd975e 100644 --- a/helm/www/matita/matita_it.shtml +++ b/helm/www/matita/matita_it.shtml @@ -101,6 +101,7 @@