X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=65155112de1d9c28b0c1220ce04400b0262316a1;hb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355;hp=0b7c82d9d77d8c6bb5df11e5aa5f9f9da7b739d0;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 0b7c82d9d..65155112d 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,15 +1,28 @@ - + + - Matita home page - community - + Matita - Community + -

Miki

-

- Miki is not yet ready... -

- +
+

Matita Community

+ +

Mailing lists

+

+ 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

+ + + +