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

Miki

-

- Miki is not yet ready... -

- +
+

Matita Community

+ +

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 + 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. +

+ + +