X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_tactics.xml;h=2ac2cfc65a459961f869ccbb7644437f7c4c7e04;hb=78d9265b6261eb24cad483fb57a386e39eae6a3c;hp=4687868addfeb344ed8c7d46a190c58f31ddf192;hpb=8f699ab265e380a2d1ab7dba0ee5e8ba5556a84a;p=helm.git

diff --git a/matita/matita/help/C/sec_tactics.xml b/matita/matita/help/C/sec_tactics.xml
index 4687868ad..2ac2cfc65 100644
--- a/matita/matita/help/C/sec_tactics.xml
+++ b/matita/matita/help/C/sec_tactics.xml
@@ -167,7 +167,7 @@
       </variablelist>
     </para>
   </sect1>
-  <sect1 id="tac_intro">
+  <sect1 id="macro_intro">
     <title>##</title>
     <titleabbrev>##</titleabbrev>
     <para><userinput>##</userinput></para>