X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=65155112de1d9c28b0c1220ce04400b0262316a1;hb=b6255ee32c254c78998750c8dee401496c553c61;hp=7e68815337de51c7a0c117249ea1e626a6833944;hpb=52abafc261385faf28a1bf597b791c575c80b6bc;p=helm.git
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 7e6881533..65155112d 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -10,21 +10,16 @@
Matita Community
-
Mailing Lists
+
Mailing lists
- Discussions about Matita are held in the followin mailing list
+ Discussions about Matita are held in the following mailing list
-
- - coming soon
- -
-
Discussion forum for Matita users.
-
-
-
+
Matita mailing list
The list is open to subscriptions for everyone, subscription is
- required in order to post. Archives of old posts are available.
+ required in order to post. Archives of old posts are available.
+
Here a link to the administrative interface