X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=1dfd479fa01a125f474db291c6a1240b2785827b;hb=e4807fdacd5b71bfd2e754f42f520d82fd178386;hp=eebd71cc7f24ff229c9f1d158d19e80c40105921;hpb=379940541ddc8f917c5a002810a62e4bcad6e83c;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index eebd71cc7..1dfd479fa 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -17,8 +17,8 @@ contributions. "Miki: a formal Mathematics wIKI" is the codename of the effort.

+ -