]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/xslt/ld_web_root.xsl
- substitution lemma for native type assignmenr proved!
[helm.git] / helm / www / lambda_delta / xslt / ld_web_root.xsl
index 8222e1d941fdc8a58cd3a8fc982b054eac922ded..2920bc6575635a7e91eb4e2b770bfb04699365e7 100644 (file)
    </div>
 </xsl:template>
 
+<xsl:template match="ld:rlink">
+   <a href="{$baseurl}{@to}">
+      <xsl:apply-templates/>
+   </a>
+</xsl:template>
+
+<xsl:template match="ld:news">
+   <ul><li>
+      <span class="date"><xsl:value-of select="@date"/></span>
+      <xsl:apply-templates/>
+   </li></ul>
+</xsl:template>
+
 <xsl:template match="ld:table">
    <div class="text">
       <xsl:call-template name="xhtbl"/>