]> matita.cs.unibo.it Git - helm.git/commitdiff
typo: titleabbrev stuff should not be bold
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 14:22:43 +0000 (14:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 13 Jun 2006 14:22:43 +0000 (14:22 +0000)
helm/software/matita/help/C/sec_tactics.xml

index 2e1f6f36565e8a32f32c921e63badaf964e26a36..712ce837a524ec2cd360fc94ad45f12e04fdf5e2 100644 (file)
@@ -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>