From 93cc0505102768f7d4337907bafa31d1528a7289 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Jun 2006 14:22:43 +0000
Subject: [PATCH] typo: titleabbrev stuff should not be bold

---
 matita/help/C/sec_tactics.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.2