X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=0066449b0294618bff6953768c8d80f40c519350;hb=dfc523454502ccab6a154a32d1d9b4d941d9a6a0;hp=27e373295ac8f16fee09fba572e9329ebed8a716;hpb=8d2887c7a3e452302bf976b6303c65c3a7f7961e;p=helm.git

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index 27e373295..0066449b0 100644
--- a/matita/help/C/sec_gettingstarted.xml
+++ b/matita/help/C/sec_gettingstarted.xml
@@ -3,7 +3,7 @@
 
 <chapter id="sec_gettingstarted">
   <title>Getting started</title>
-  <para> If you are already familiar with the Calculus of (co)Inductive
+  <para> If you are already familiar with the Calculus of (Co)Inductive
   Constructions (CIC) and with interactive theorem provers with procedural
   proof languages (expecially Coq), getting started with Matita is relatively
   easy. You just need to learn how to type Unicode symbols, how to browse
@@ -110,7 +110,7 @@
    <figure><title>The Developments window</title>
      <mediaobject>
        <imageobject>
-         <imagedata fileref="developments.png" align="center"/> 
+         <imagedata fileref="figures/developments.png" /> 
        </imageobject>
        <textobject><phrase>Screenshot of the Developments window.</phrase></textobject>
      </mediaobject>
@@ -216,6 +216,10 @@
     </variablelist>
     </para>
  </sect2>
+   <sect2 id="authoringinterface">
+    <title>The authoring interface</title>
+    <para>&TODO;</para>
+   </sect2>
  </sect1>
 </chapter>