makefile reworked to make debian package possible

[helm.git] / matita / help / C / sec_gettingstarted.xml

diff --git a/matita/help/C/sec_gettingstarted.xml b/matita/help/C/sec_gettingstarted.xml
index be9a5f22cb8518c8198c07bb044990fa833fb971..0066449b0294618bff6953768c8d80f40c519350 100644 (file)
--- 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
@@ -13,7 +13,7 @@
    <title>How to type Unicode symbols</title>
    <para>Unicode characters can be typed in several ways:</para>
     <itemizedlist>
-      <listitem><para>Using the &quot;Shift+Ctrl+Unicode code&quot; standard Gnome shortcut. E.g. Shift+Ctrl+3a9 generates &quot;Ω&quot;.</para>
+      <listitem><para>Using the &quot;Ctrl+Shift+Unicode code&quot; standard Gnome shortcut. E.g. Ctrl+Shift+3a9 generates &quot;Ω&quot;.</para>
      </listitem>
      <listitem><para>Typing the ligature &quot;\name&quot; where &quot;name&quot;
       is a standard Unicode or LaTeX name for the character. Pressing
@@ -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>