]> 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 e06a856fc5c3bac3e4b5a5b83a5865d91ba749b5..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>
-   <blockquote>
-    <xsl:call-template name="head">
-     <xsl:with-param name="path_to_top" select="'../..'"/>
-    </xsl:call-template>
     <xsl:apply-templates/>
-    <xsl:call-template name="foot"/>
-   </blockquote>
   </body>
  </html>
 </xsl:template>
    <xsl:choose>
     <xsl:when test="@file">
      <a href="../../people/{@file}.html">
-      <xsl:value-of select="@file"/>
+      <xsl:call-template name="person-name">
+       <xsl:with-param name="form" select="'abbreviated'"/>
+       <xsl:with-param name="file" select="@file"/>
+      </xsl:call-template>
      </a>
     </xsl:when>
     <xsl:otherwise>
@@ -48,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>