matita/help/C/sec_gettingstarted.xml

   1
   2 <!-- ============= Getting started ============================== -->
   3
   4 <chapter id="sec_gettingstarted">
   5   <title>Getting started</title>
   6   <sect1 id="unicode">
   7    <title>How to type Unicode symbols</title>
   8    &TODO;
   9   </sect1>
  10   &TODO;
  11 </chapter>
  12