X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041;hb=c4f04f460838ee0450e73f96bda214b7988b16a6;hp=8d284de031b5fc9972a3a1a83ecbb71e793c19b1;hpb=f98eeb911a76531c36d1da56e07eb48568f37734;p=helm.git
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 8d284de03..30c7029db 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,16 +1,26 @@
+
-
+
Matita Community
+
+
Miki
+
+ We are currently developing
+ Wiki-like
+ technologies to support collaborative development of the Matita
+ library, encouraging people to expand, modify and elaborate previous
+ contributions. "Miki: a formal Mathematics wIKI" is the
+ codename of the effort.
+
+
+
+
-