+<!-- $Id$ -->
<!--#include virtual="xhtml-header.shtml" -->
<html>
<head>
- <title>Matita home page - community</title>
- <link type="text/css" rel="stylesheet" href="style.css"/>
+ <title>Matita - Community</title>
+ <!--#include virtual="xhtml-meta.shtml" -->
</head>
<body>
<!--#include virtual="menubar.shtml" -->
- <h1><span class="h1">Miki</span></h1>
- <p>
- Miki is not yet ready...
- </p>
- <!--#include virtual="bottombar.shtml" -->
+ <div class="main">
+ <h1>Matita Community</h1>
+
+ <h2>Mailing Lists<a name="lists" /></a></h2>
+ <p>
+ Discussions about Matita are held in several places, mainly on the
+ following mailing lists:
+ </p>
+ <dl>
+ <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>
+ <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.
+ </p>
+
+ <h2>Miki<a name="miki" /></a></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>
</body>
</html>
-<!-- $Id$ -->
projects / helm.git / blobdiff