X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=b06da9bd0b362bbd98e0c9e3fc10c6bc3547856e;hb=b8e426e4d942b7776fe8411f01df6974b2d35fc5;hp=68ebc8ad2fc76b3f5dc9aca4c14e6efa2fc8f6d9;hpb=33f5240193f527ef11619d3ae89cdbf2bfcecb07;p=helm.git diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 68ebc8ad2..b06da9bd0 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -25,6 +25,8 @@ University of Bologna.

+

+