X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=b525e47f6d9004d654a46dca1ce2c435f5b6fcd5;hb=aaefdd61e5a4bf25645812676c977a5a863daa33;hp=0b7c82d9d77d8c6bb5df11e5aa5f9f9da7b739d0;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 0b7c82d9d..b525e47f6 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -8,8 +8,14 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Miki</span></h1>
     <p>
-    Miki is not yet ready...
+    We are currently developing
+    <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
+    technologies to support collaborative development of the Matita
+    library, encouraging people to expand, modify and elaborate previous
+    contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
+    codename of the effort.
     </p>
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->