X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=65155112de1d9c28b0c1220ce04400b0262316a1;hb=1083ac3b1acac5f1ac1fa40a9a417dd9d268dced;hp=30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041;hpb=d62d1b28015b18a515bdf81e2a8f658d158fae5a;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 30c7029db..65155112d 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,6 +1,6 @@ - - + + Matita - Community @@ -10,15 +10,17 @@

Matita Community

-

Miki

+

Mailing lists

- 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. + Discussions about Matita are held in the following mailing list

+ Matita mailing list +

+ The list is open to subscriptions for everyone, subscription is + required in order to post. Archives of old posts are available. +

+

Here a link to the administrative interface

+