]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/publication.xsl
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xsl / publication.xsl
index f994ad30b6035c976636e0475dc2d099b93dc195..3bd290ec6a05208af637af0bdb841987498e8b5c 100644 (file)
@@ -43,6 +43,9 @@
   </xsl:for-each>
  </h2>
  <p><xsl:value-of select="where"/></p>
+ <xsl:if test="html">
+  <p>Download: <a href="{html/@file}.html">[HTML]</a></p>
+ </xsl:if>
 </xsl:template>
 
 </xsl:stylesheet>