Many changes

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

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