comment out an incomplete proof

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

diff --git a/matita/help/C/sec_install.xml b/matita/help/C/sec_install.xml
index 09bc9d7405198bd0c0e046f3df75712436715594..35d7ff900a6d3771b9b1b00825533493603710f6 100644 (file)
--- a/matita/help/C/sec_install.xml
+++ b/matita/help/C/sec_install.xml
@@ -245,7 +245,7 @@
 
          <varlistentry>
            <term>&TODO;</term>
-           <listitem>&TODO;</listitem>
+           <listitem><para>&TODO;</para></listitem>
          </varlistentry>
 
        </variablelist>