UNICODEvsSYMBOL parameter added to select the old

[helm.git] / helm / style / proofs.xsl

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 05cf06dd1f51d08d2d0747599be61968c1c4d3d8..a0302bde6a2bd04cdaa9a45d809364a245bd5662 100644 (file)
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -560,6 +560,8 @@
 </xsl:template>
 
 <!-- Auxiliary functions -->
+<!-- OMDOC: now we have name_of_uri generalized on the extension that -->
+<!-- can replace the next template                                    -->
 <xsl:template name="get_name">
  <xsl:param name="uri" select="''"/>
  <xsl:variable name="sub_after" select="substring-after($uri,'/')"/>