X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_gettingstarted.xml;h=9679dcfd2fe6f680119b05b1965a78b9eaecb801;hb=ab0d181f9a89f461a9c280f42a949a2dc2abe44c;hp=e18f3a0675cd208debb5f985e62f9a010128a980;hpb=2c01ff6094173915e7023076ea48b5804dca7778;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>