X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_declarative_tactics.xml;fp=matita%2Fmatita%2Fhelp%2FC%2Fsec_declarative_tactics.xml;h=d77c276c4904db43fa894b2da9a3e29fa94da536;hb=8f699ab265e380a2d1ab7dba0ee5e8ba5556a84a;hp=bc0b424e0d3b0bb75ed6613a456fa904315136c8;hpb=ddc80515997a3f56085c6234d4db326141e189aa;p=helm.git

diff --git a/matita/matita/help/C/sec_declarative_tactics.xml b/matita/matita/help/C/sec_declarative_tactics.xml
index bc0b424e0..d77c276c4 100644
--- a/matita/matita/help/C/sec_declarative_tactics.xml
+++ b/matita/matita/help/C/sec_declarative_tactics.xml
@@ -1,4 +1,5 @@
 <!-- ================= Tactics ========================= -->
+<!--
 <chapter id="sec_declarative_tactics">
   <title>Declarative Tactics</title>
 
@@ -516,3 +517,4 @@
     </sect1>
 
 </chapter>
+-->