X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fsec_tactics.xml;h=82802e2396b7ab95c08ba3b623bdee849be26c04;hb=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;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..82802e239 100644
--- a/matita/matita/help/C/sec_tactics.xml
+++ b/matita/matita/help/C/sec_tactics.xml
@@ -11,7 +11,7 @@
   </sect1>
 
   <sect1 id="tac_apply">
-    <title>@</title>
+    <title>apply</title>
     <titleabbrev>@</titleabbrev>
     <para><userinput>@t</userinput></para>
     <para>
@@ -52,7 +52,7 @@
     </para>
   </sect1>
   <sect1 id="tac_auto">
-    <title>//</title>
+    <title>auto</title>
     <titleabbrev>//</titleabbrev>
     <para><userinput>/params/</userinput></para>
     <para>
@@ -94,7 +94,7 @@
     </para>
   </sect1>
   <sect1 id="tac_intro">
-    <title>#</title>
+    <title>intro</title>
     <titleabbrev>#</titleabbrev>
     <para><userinput>#H</userinput></para>
     <para>
@@ -132,7 +132,7 @@
     </para>
   </sect1>
   <sect1 id="tac_intro_clear">
-    <title>#_</title>
+    <title>intro_clear</title>
     <titleabbrev>#_</titleabbrev>
     <para><userinput>#_</userinput></para>
     <para>
@@ -167,8 +167,8 @@
       </variablelist>
     </para>
   </sect1>
-  <sect1 id="tac_intro">
-    <title>##</title>
+  <sect1 id="macro_intro">
+    <title>macro_input</title>
     <titleabbrev>##</titleabbrev>
     <para><userinput>##</userinput></para>
     <para>
@@ -198,7 +198,7 @@
     </para>
   </sect1>
   <sect1 id="tac_clear">
-    <title>-</title>
+    <title>clear</title>
     <titleabbrev>-</titleabbrev>
     <para><userinput>-H</userinput></para>
     <para>
@@ -239,7 +239,7 @@
     </para>
   </sect1>
   <sect1 id="tac_constructor">
-    <title>%</title>
+    <title>constructor</title>
     <titleabbrev>%</titleabbrev>
     <para><userinput>%n {args}</userinput></para>
     <para>
@@ -279,7 +279,7 @@
     </para>
   </sect1>
   <sect1 id="tac_decompose">
-    <title>*</title>
+    <title>decompose</title>
     <titleabbrev>*</titleabbrev>
     <para><userinput>
      * as H
@@ -326,7 +326,7 @@
     </para>
   </sect1>
   <sect1 id="tac_rewrite">
-    <title>></title>
+    <title>rewrite</title>
     <titleabbrev>></titleabbrev>
     <para><userinput>> p patt</userinput></para>
     <para>