X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=65155112de1d9c28b0c1220ce04400b0262316a1;hb=8ced93b24ec20302294b3f627a6d06fc36bcc41a;hp=b525e47f6d9004d654a46dca1ce2c435f5b6fcd5;hpb=9e5aca768e23c9e0b555d3010c924264a1b920d0;p=helm.git
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index b525e47f6..65155112d 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,21 +1,28 @@
-
+
+
-
+
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
+
+
+
+
-