X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=9ad4940dd747b016953f4b92774a193ab61db613;hb=c63d363ae3e92ca53e7ad010d2efbd69a0c6daae;hp=30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041;hpb=d62d1b28015b18a515bdf81e2a8f658d158fae5a;p=helm.git diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml index 30c7029db..9ad4940dd 100644 --- a/helm/www/matita/community.shtml +++ b/helm/www/matita/community.shtml @@ -1,6 +1,6 @@ - - + + Matita - Community @@ -10,7 +10,32 @@

Matita Community

-

Miki

+

Mailing Lists

+

+ Discussions about Matita are held in several places, mainly on the + following mailing lists: +

+
+
matita-user
+
+

Discussion forum for Matita users.

+
+ +
matita-devel
+
+

Discussion forum for Matita developers.

+
+
+

+ All lists are open to subscriptions for everyone, subscription is + required in order to post. Archives of old posts are available. The + mailing list are driven by + Mailman, in order to + subscribe and obtain usage information follow the links above and read + the instructions. +

+ +

Miki

We are currently developing Wiki-like