X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_tacticals.xml;h=2f84ae73690c88b25e1b8f073c405d81f8262035;hb=e48189183ea3a03caae6f9c292ee82d776d60f92;hp=bab2ecf64bc47fb63fdf02a33ab060d53fe2b8c6;hpb=e43d7e9c2acfa6d1c74838ba15589833cfc275fc;p=helm.git
diff --git a/helm/software/matita/help/C/sec_tacticals.xml b/helm/software/matita/help/C/sec_tacticals.xml
index bab2ecf64..2f84ae736 100644
--- a/helm/software/matita/help/C/sec_tacticals.xml
+++ b/helm/software/matita/help/C/sec_tacticals.xml
@@ -251,7 +251,7 @@
|
do &nat;
- &LCFtactical; end
+ &LCFtactical;
&TODO;
@@ -259,7 +259,7 @@
|
repeat
- &LCFtactical; end
+ &LCFtactical;
&TODO;