X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=65155112de1d9c28b0c1220ce04400b0262316a1;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;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 @@
     <div class="main">
       <h1>Matita Community</h1>
 
-      <h2>Mailing Lists<a name="lists" /></h2>
+      <h2>Mailing lists</h2>
       <p>
-      Discussions about Matita are held in the followin mailing list
+      Discussions about Matita are held in the following mailing list
       </p>
-      <dl>
-	<dt> coming soon </dt>
-	<dd>
-	<p> Discussion forum for Matita users. </p>
-	</dd>
-
-      </dl>
+        <a href="http://cs.unibo.it/cgi-bin/mailman/listinfo/matita">Matita mailing list</a>
       <p>
       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. <a href="http://www.cs.unibo.it/pipermail/matita/">Archives</a> of old posts are available. 
       </p>
+      <p>Here a link to the <a href="http://www.cs.unibo.it/cgi-bin/mailman/admin/matita/">administrative</a> interface</p>
 
 
       <!--#include virtual="bottombar.shtml" -->