X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fxsl%2Ftactic_quickref.xsl;h=3a46261e0783937c4841fb519cd6ead5f44786e8;hb=d94fe51e1c4c5ae9a71032f1072f2dfb2d29faf6;hp=fa9c034fcabbcdcf56c9fefa0bdbdf7f5474a8ab;hpb=935a53fb77f36e5d90a2a59fa500744001e9d780;p=helm.git

diff --git a/matita/help/C/xsl/tactic_quickref.xsl b/matita/help/C/xsl/tactic_quickref.xsl
index fa9c034fc..3a46261e0 100644
--- a/matita/help/C/xsl/tactic_quickref.xsl
+++ b/matita/help/C/xsl/tactic_quickref.xsl
@@ -7,12 +7,19 @@
     omit-xml-declaration="yes"
     />
 
+  <xsl:param name="declarative" value=""/>
+
   <xsl:template match="/">
-    <itemizedlist>
-      <xsl:apply-templates select="//varlistentry[@role='tactic.synopsis']">
-	<xsl:sort select="ancestor::sect1/title" />
-      </xsl:apply-templates>
-    </itemizedlist>
+    <table frame="topbot" rowsep="0" colsep="0" role="grammar">
+      <title>tactics</title>
+      <tgroup cols="3">
+      <tbody>
+       <xsl:apply-templates select="//chapter[@id=concat('sec_',$declarative,'tactics')]//varlistentry[@role='tactic.synopsis']">
+	 <xsl:sort select="ancestor::sect1/title" />
+       </xsl:apply-templates>
+      </tbody>
+     </tgroup>
+    </table>
   </xsl:template>
 
   <xsl:template match="varlistentry">
@@ -21,8 +28,26 @@
       <xsl:value-of select="ancestor::sect1/title" />
     </xsl:variable>
 
-    <listitem>
-      <para>
+    <row>
+      <entry>
+       <xsl:choose>
+        <xsl:when test="position()=1">
+         <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>
+      </entry>
+      <entry>
+       <xsl:choose>
+        <xsl:when test="position()=1">
+         <xsl:text>::=</xsl:text>
+        </xsl:when>
+        <xsl:otherwise>
+         <xsl:text>|</xsl:text>
+        </xsl:otherwise>
+       </xsl:choose>
+      </entry>
+      <entry>
 	<xsl:for-each select="listitem/para/* | listitem/para/child::text()">
 	  <xsl:choose>
 
@@ -42,8 +67,8 @@
 
 	  </xsl:choose>
 	</xsl:for-each>
-      </para>
-    </listitem>
+      </entry>
+    </row>
 
   </xsl:template>