...

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

index 0b7c82d9d77d8c6bb5df11e5aa5f9f9da7b739d0..bd027d643a39f44f40087cef9aa6c1441939bf60 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,15 +1,27 @@
  <!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
    <head>
-    <title>Matita home page - community</title>
-    <link type="text/css" rel="stylesheet" href="style.css"/>
+    <title>Matita - Community</title>
+    <!--#include virtual="xhtml-meta.shtml" -->
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
-    <h1><span class="h1">Miki</span></h1>
-    <p>
-    Miki is not yet ready...
-    </p>
-    <!--#include virtual="bottombar.shtml" -->
+    <div class="main">
+      <h1>Matita Community</h1>
+
+      <h2>Mailing lists</h2>
+      <p>
+      Discussions about Matita are held in the following mailing list
+      </p>
+        <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. 
+      </p>
+
+
+      <!--#include virtual="bottombar.shtml" -->
+    </div>
    </body>
  </html>