From e4052c06f172b3a5aa69d7cd5546115011acd54b Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 14 Jun 2006 08:46:06 +0000
Subject: [PATCH] added mention of the two mailing lists we have

---
 helm/www/matita/community.shtml | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 30c7029db..a89061102 100644
--- 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
-- 
2.39.2