]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content.xsl
1) Sequent object added.
[helm.git] / helm / style / content.xsl
index 95a1f66b23a0d8bbb8a912f3f97e79d9b958c5d3..ef9c297a66366db83f93bb14957f0e266b39bed7 100644 (file)
@@ -169,7 +169,7 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 
 <xsl:template match="META" mode="pure">
     <m:ci helm:xref="{@id}">
-     <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value"><xsl:value-of select="@no"/></xsl:with-param></xsl:call-template>
+     <xsl:call-template name="insert_subscript"><xsl:with-param name="node_value">?<xsl:value-of select="@no"/></xsl:with-param></xsl:call-template>
     </m:ci>
 </xsl:template>