]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-library.xsl
some inprovements on the generated html pages
[helm.git] / helm / software / lambda-delta / xml / ld-html-library.xsl
index 3479c3038176884dd8a772300c91c1027285e5ec..86e7c449de06431f4ba8b5b84667f180b4eff374 100644 (file)
 
 <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">
    </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"/>
    <xsl:call-template name="cp"/>
 </xsl:template>
 
+<xsl:template name="META">
+   <div>Informal description: "<xsl:value-of select="@meta"/>"</div><h2/>
+</xsl:template>
+
 </xsl:stylesheet>