helm/www/matita/community.shtml

   1 <!--#include virtual="xhtml-header.shtml" -->
   2 <!-- $Id$ -->
   3 <html xmlns="http://www.w3.org/1999/xhtml">
   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" /></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         </dd>
  23
  24         <dt> <a href="http://www.cs.unibo.it/cgi-bin/mailman/listinfo/matita-devel"><kbd>matita-devel</kbd></a> </dt>
  25         <dd>
  26         <p> Discussion forum for Matita developers. </p>
  27         </dd>
  28       </dl>
  29       <p>
  30       All lists are open to subscriptions for everyone, subscription is
  31       required in order to post. Archives of old posts are available. The
  32       mailing list are driven by
  33       <a href="http://www.gnu.org/software/mailman/">Mailman</a>, in order to
  34       subscribe and obtain usage information follow the links above and read
  35       the instructions.
  36       </p>
  37
  38       <h2>Miki<a name="miki" /></h2>
  39       <p>
  40       We are currently developing
  41       <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
  42       technologies to support collaborative development of the Matita
  43       library, encouraging people to expand, modify and elaborate previous
  44       contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
  45       codename of the effort.
  46       </p>
  47
  48       <!--#include virtual="bottombar.shtml" -->
  49     </div>
  50   </body>
  51 </html>