X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_tactics.xml;h=712ce837a524ec2cd360fc94ad45f12e04fdf5e2;hb=6e62c12e14cea178366801f8d5e47fc6adaf1200;hp=2e1f6f36565e8a32f32c921e63badaf964e26a36;hpb=935a53fb77f36e5d90a2a59fa500744001e9d780;p=helm.git

diff --git a/matita/help/C/sec_tactics.xml b/matita/help/C/sec_tactics.xml
index 2e1f6f365..712ce837a 100644
--- a/matita/help/C/sec_tactics.xml
+++ b/matita/help/C/sec_tactics.xml
@@ -857,7 +857,7 @@ its constructor takes no arguments.</para>
   </sect1>
   <sect1 id="tac_injection">
     <title>injection</title>
-    <titleabbrev><emphasis role="bold">injection</emphasis></titleabbrev>
+    <titleabbrev>injection</titleabbrev>
     <para><userinput>injection p</userinput></para>
     <para>
       <variablelist>