X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_tactics.xml;h=2ac2cfc65a459961f869ccbb7644437f7c4c7e04;hb=cffe307107c93392c8663ec246049c0e55d1ed69;hp=4687868addfeb344ed8c7d46a190c58f31ddf192;hpb=c04c3ad1e1c5ff48ad9d91856050f1d8c0371289;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>