-<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
-<html>
+<!-- $Id$ -->
+<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Matita - Community</title>
<!--#include virtual="xhtml-meta.shtml" -->
<div class="main">
<h1>Matita Community</h1>
- <h2>Mailing Lists<a name="lists" /></a></h2>
+ <h2>Mailing Lists<a name="lists" /></h2>
<p>
Discussions about Matita are held in several places, mainly on the
following mailing lists:
<dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
<dd>
<p> Discussion forum for Matita users. </p>
- </p>
</dd>
<dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
the instructions.
</p>
- <h2>Miki<a name="miki" /></a></h2>
+ <h2>Miki<a name="miki" /></h2>
<p>
We are currently developing
<a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like