Much ado about nothing:

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

diff --git a/matita/help/C/sec_tacticals.xml b/matita/help/C/sec_tacticals.xml
index bab2ecf64bc47fb63fdf02a33ab060d53fe2b8c6..2f84ae73690c88b25e1b8f073c405d81f8262035 100644 (file)
--- a/matita/help/C/sec_tacticals.xml
+++ b/matita/help/C/sec_tacticals.xml
@@ -251,7 +251,7 @@
        <entry/>
        <entry>|</entry>
        <entry><emphasis role="bold">do</emphasis> &nat;
-        &LCFtactical; <emphasis role="bold">end</emphasis>
+        &LCFtactical;
        </entry>
        <entry>&TODO;</entry>
       </row>
@@ -259,7 +259,7 @@
        <entry/>
        <entry>|</entry>
        <entry><emphasis role="bold">repeat</emphasis>
-        &LCFtactical; <emphasis role="bold">end</emphasis>
+        &LCFtactical;
        </entry>
        <entry>&TODO;</entry>
       </row>