helm/www/matita1.0/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</h2>
  14       <p>
  15       Discussions about Matita are held in the following mailing list
  16       </p>
  17         <a href="http://cs.unibo.it/cgi-bin/mailman/listinfo/matita">Matita mailing list</a>
  18       <p>
  19       The list is open to subscriptions for everyone, subscription is
  20       required in order to post. <a href="http://www.cs.unibo.it/pipermail/matita/">Archives</a> of old posts are available.
  21       </p>
  22       <p>Here a link to the <a href="http://www.cs.unibo.it/cgi-bin/mailman/admin/matita/">administrative</a> interface</p>
  23
  24
  25       <!--#include virtual="bottombar.shtml" -->
  26     </div>
  27   </body>
  28 </html>