From 52abafc261385faf28a1bf597b791c575c80b6bc Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 20 Feb 2009 09:22:21 +0000
Subject: [PATCH] ...

---
 helm/www/matita/community.shtml | 26 ++++----------------------
 1 file changed, 4 insertions(+), 22 deletions(-)

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 9ad4940dd..7e6881533 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -12,38 +12,20 @@
 
       <h2>Mailing Lists<a name="lists" /></h2>
       <p>
-      Discussions about Matita are held in several places, mainly on the
-      following mailing lists:
+      Discussions about Matita are held in the followin mailing list
       </p>
       <dl>
-	<dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
+	<dt> coming soon </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.
+      The list is open to subscriptions for everyone, subscription is
+      required in order to post. Archives of old posts are available. 
       </p>
 
-      <h2>Miki<a name="miki" /></h2>
-      <p>
-      We are currently developing
-      <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
-      technologies to support collaborative development of the Matita
-      library, encouraging people to expand, modify and elaborate previous
-      contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
-      codename of the effort.
-      </p>
 
       <!--#include virtual="bottombar.shtml" -->
     </div>
-- 
2.39.2