X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fnews.shtml;h=daa6cc5b821c97eb0517cbb8cb3df82d05d02a21;hb=ebc95c29889f75f43a2ccc4dc2d1ca4e58c18629;hp=d0646f66f6ff3bbe2cd7448661807811ceef779d;hpb=c6ebbcf8350dcf0b8020c9fcea27d7d9336df463;p=helm.git diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml index d0646f66f..daa6cc5b8 100644 --- a/helm/www/matita/news.shtml +++ b/helm/www/matita/news.shtml @@ -5,7 +5,7 @@