added mention of the two mailing lists we have

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041..a890611022e67a8b74b41f5374287605ff797c1b 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -10,7 +10,33 @@
     <div class="main">
       <h1>Matita Community</h1>
 
-      <h2>Miki</h2>
+      <h2>Mailing Lists<a name="lists" /></a></h2>
+      <p>
+      Discussions about Matita are held in several places, mainly on the
+      following mailing lists:
+      </p>
+      <dl>
+       <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
+       <dd>
+       <p> Discussion forum for Matita users. </p>
+       </p>
+       </dd>
+
+       <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
+       <dd>
+       <p> Discussion forum for Matita developers. </p>
+       </dd>
+      </dl>
+      <p>
+      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
+      <a href="http://www.gnu.org/software/mailman/">Mailman</a>, in order to
+      subscribe and obtain usage information follow the links above and read
+      the instructions.
+      </p>
+
+      <h2>Miki<a name="miki" /></a></h2>
       <p>
       We are currently developing
       <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like