For release 0.99.1.

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

diff --git a/matita/matita/help/C/sec_gettingstarted.xml b/matita/matita/help/C/sec_gettingstarted.xml
index e18f3a0675cd208debb5f985e62f9a010128a980..9679dcfd2fe6f680119b05b1965a78b9eaecb801 100644 (file)
--- 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>