]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/params.xsl
----------------------------------------------------------------------
[helm.git] / helm / style / params.xsl
index 8db72e23ee15d54f40ce42b9b59a98513286ef9a..6e7f98545509620df3e99d1b9a4dfc7f9ceb5fca 100644 (file)
      <xsl:when test="($target = 1) and ($noparams != 0)">
       <m:apply>
       <m:csymbol>app</m:csymbol>
-<!-- Mancava modalita': sono qall'interno di un termine -->
+<!-- Mancava modalita': sono all'interno di un termine -->
       <xsl:apply-templates select="." mode="pure"/>
       <xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noparams"/></xsl:call-template>
       </m:apply>