X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fxsl%2Ftactic_quickref.xsl;h=3a46261e0783937c4841fb519cd6ead5f44786e8;hb=8097af927e3e0f80c6dd2cb219b38f18e81df2a6;hp=42e435740e719c59253bb75563be8d3671ddf44c;hpb=bf0b308923fbe96bdd4bd8ee0f4495958211ab6f;p=helm.git

diff --git a/matita/help/C/xsl/tactic_quickref.xsl b/matita/help/C/xsl/tactic_quickref.xsl
index 42e435740..3a46261e0 100644
--- a/matita/help/C/xsl/tactic_quickref.xsl
+++ b/matita/help/C/xsl/tactic_quickref.xsl
@@ -7,12 +7,14 @@
     omit-xml-declaration="yes"
     />
 
+  <xsl:param name="declarative" value=""/>
+
   <xsl:template match="/">
     <table frame="topbot" rowsep="0" colsep="0" role="grammar">
       <title>tactics</title>
       <tgroup cols="3">
       <tbody>
-       <xsl:apply-templates select="//varlistentry[@role='tactic.synopsis']">
+       <xsl:apply-templates select="//chapter[@id=concat('sec_',$declarative,'tactics')]//varlistentry[@role='tactic.synopsis']">
 	 <xsl:sort select="ancestor::sect1/title" />
        </xsl:apply-templates>
       </tbody>
@@ -30,7 +32,7 @@
       <entry>
        <xsl:choose>
         <xsl:when test="position()=1">
-         <xsl:attribute name="id">grammar.tactic</xsl:attribute>
+         <xsl:attribute name="id">grammar.<xsl:value-of select="$declarative"/>tactic</xsl:attribute>
          <xsl:text disable-output-escaping='yes'>&amp;tactic;</xsl:text>
         </xsl:when>
        </xsl:choose>