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 the followin mailing list
  16       </p>
  17       <dl>
  18         <dt> coming soon </dt>
  19         <dd>
  20         <p> Discussion forum for Matita users. </p>
  21         </dd>
  22
  23       </dl>
  24       <p>
  25       The list is open to subscriptions for everyone, subscription is
  26       required in order to post. Archives of old posts are available.
  27       </p>
  28
  29
  30       <!--#include virtual="bottombar.shtml" -->
  31     </div>
  32   </body>
  33 </html>