<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
<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