<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.
+ required in order to post. <a href="http://www.cs.unibo.it/pipermail/matita/">Archives</a> of old posts are available.
</p>
+ <p>Here a link to the <a href="http://www.cs.unibo.it/cgi-bin/mailman/admin/matita/">administrative</a> interface</p>
<!--#include virtual="bottombar.shtml" -->