]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/community.shtml
new makefiles
[helm.git] / helm / www / matita / community.shtml
1 <!-- $Id$ -->
2 <!--#include virtual="xhtml-header.shtml" -->
3 <html>
4   <head>
5     <title>Matita - Community</title>
6     <!--#include virtual="xhtml-meta.shtml" -->
7   </head>
8   <body>
9     <!--#include virtual="menubar.shtml" -->
10     <div class="main">
11       <h1>Matita Community</h1>
12
13       <h2>Mailing Lists<a name="lists" /></a></h2>
14       <p>
15       Discussions about Matita are held in several places, mainly on the
16       following mailing lists:
17       </p>
18       <dl>
19         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-user"><kbd>matita-user</kbd></a> </dt>
20         <dd>
21         <p> Discussion forum for Matita users. </p>
22         </p>
23         </dd>
24
25         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
26         <dd>
27         <p> Discussion forum for Matita developers. </p>
28         </dd>
29       </dl>
30       <p>
31       All lists are open to subscriptions for everyone, subscription is
32       required in order to post. Archives of old posts are available. The
33       mailing list are driven by
34       <a href="http://www.gnu.org/software/mailman/">Mailman</a>, in order to
35       subscribe and obtain usage information follow the links above and read
36       the instructions.
37       </p>
38
39       <h2>Miki<a name="miki" /></a></h2>
40       <p>
41       We are currently developing
42       <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
43       technologies to support collaborative development of the Matita
44       library, encouraging people to expand, modify and elaborate previous
45       contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
46       codename of the effort.
47       </p>
48
49       <!--#include virtual="bottombar.shtml" -->
50     </div>
51   </body>
52 </html>