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

Matita Community

-

Mailing Lists

+

Mailing Lists

Discussions about Matita are held in several places, mainly on the following mailing lists: @@ -19,7 +19,6 @@

matita-user

Discussion forum for Matita users.

-

matita-devel
@@ -36,7 +35,7 @@ the instructions.

-

Miki

+

Miki

We are currently developing Wiki-like