X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=16e029f73cbf94f4a7f7194bde7e6916b395667e;hb=0775f6acafa9aa176d148a8f3acf7e750c1c3171;hp=eebd71cc7f24ff229c9f1d158d19e80c40105921;hpb=391f9cda43ee8c6d032358e86d12d3633e107a61;p=helm.git
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index eebd71cc7..16e029f73 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,8 +1,8 @@
- Matita home page - community
-
+ Matita - Community
+
@@ -17,8 +17,8 @@
contributions. "Miki: a formal Mathematics wIKI" is the
codename of the effort.
+
-