X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=bd027d643a39f44f40087cef9aa6c1441939bf60;hb=9715b30b0c1649b4a302e24946fc4ffabeafbd3f;hp=16e029f73cbf94f4a7f7194bde7e6916b395667e;hpb=0775f6acafa9aa176d148a8f3acf7e750c1c3171;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 16e029f73..bd027d643 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,5 +1,6 @@ - + + Matita - Community @@ -8,17 +9,19 @@

Matita Community

-

Miki

+ +

Mailing lists

+

+ Discussions about Matita are held in the following mailing list +

+ Matita mailing list

- 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. + The list is open to subscriptions for everyone, subscription is + required in order to post. Archives of old posts are available.

+ +
-