X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;h=cf6857d654377042ba5945673ca599f41bc8a715;hb=ef98db5ff416ef53004e57cc054e28abd1bf871e;hp=3479c3038176884dd8a772300c91c1027285e5ec;hpb=d5f1d21626a9df44030854abe3b96bb71c6348af;p=helm.git

diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 3479c3038..cf6857d65 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -101,8 +101,10 @@
 
 <xsl:template name="global">
    <span style="{$global}">
-      <xsl:value-of select="@name"/>
-   </span>   
+      <a name="" title="{@mark}">
+         <xsl:value-of select="@name"/>
+      </a>
+   </span>
 </xsl:template>
 
 <xsl:template name="mk_segment">
@@ -137,7 +139,7 @@
    </xsl:choose>
 </xsl:template>
 
-<xsl:template name="entry">
+<xsl:template name="entity">
    <xsl:call-template name="sp"/>
    <xsl:call-template name="global"/>
    <xsl:call-template name="sp"/>