]> 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 868622aed720294ca101eeec80f53ea65696b471..3bd290ec6a05208af637af0bdb841987498e8b5c 100644 (file)
@@ -5,23 +5,15 @@
 
 <xsl:import href="common.xsl"/>
 
-<xsl:output method="html"/>
+<xsl:output method="xml"/>
 
 <xsl:template match="/">
  <html>
   <head>
    <title><xsl:value-of select="publication/title"/></title>
-   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
-   <link rel="stylesheet" href="../../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-    <xsl:call-template name="head">
-     <xsl:with-param name="path_to_top" select="'../..'"/>
-    </xsl:call-template>
     <xsl:apply-templates/>
-    <xsl:call-template name="foot">
-     <xsl:with-param name="path_to_top" select="'../..'"/>
-    </xsl:call-template>
   </body>
  </html>
 </xsl:template>
@@ -51,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>