From 9715b30b0c1649b4a302e24946fc4ffabeafbd3f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 24 Feb 2009 15:19:41 +0000
Subject: [PATCH] ...

---
 helm/www/matita/community.shtml | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 7e6881533..bd027d643 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -10,17 +10,11 @@
     <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. 
-- 
2.39.2