]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/help/C/sec_gettingstarted.xml
rc-1
[helm.git] / matita / help / C / sec_gettingstarted.xml
index 8680f4b4371eaf8118950eaa322cb9afd1e9acd7..0066449b0294618bff6953768c8d80f40c519350 100644 (file)
     </variablelist>
     </para>
  </sect2>
+   <sect2 id="authoringinterface">
+    <title>The authoring interface</title>
+    <para>&TODO;</para>
+   </sect2>
  </sect1>
 </chapter>