- setters for data structures now support "commuting conversion"-like

[helm.git] / helm / www / matita / community.shtml
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml

index 30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041..9ad4940dd747b016953f4b92774a193ab61db613 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,6 +1,6 @@
-<!-- $Id$ -->
  <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
      <title>Matita - Community</title>
      <!--#include virtual="xhtml-meta.shtml" -->
@@ -10,7 +10,32 @@
      <div class="main">
        <h1>Matita Community</h1>
  
-      <h2>Miki</h2>
+      <h2>Mailing Lists<a name="lists" /></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>
+       </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" /></h2>
        <p>
        We are currently developing
        <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like