X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=9679dcfd2fe6f680119b05b1965a78b9eaecb801;hb=8f699ab265e380a2d1ab7dba0ee5e8ba5556a84a;hp=e18f3a0675cd208debb5f985e62f9a010128a980;hpb=ddc80515997a3f56085c6234d4db326141e189aa;p=helm.git

diff --git a/matita/matita/help/C/sec_gettingstarted.xml b/matita/matita/help/C/sec_gettingstarted.xml
index e18f3a067..9679dcfd2 100644
--- a/matita/matita/help/C/sec_gettingstarted.xml
+++ b/matita/matita/help/C/sec_gettingstarted.xml
@@ -76,6 +76,7 @@
      "about:proof".
     </para>
    </sect2>
+   <!--
    <sect2 id="whelp">
     <title>Searching the library</title>
     <para>The query bar of the CIC browser can be used to search the library
@@ -102,7 +103,7 @@
      <title>Searching by instantiation</title>
      <para>     &TODO;</para>
    </sect3>
-   </sect2>
+   </sect2>-->
   </sect1>
   <sect1 id="authoring">
    <title>Authoring</title>