]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/demultiplexMutual.xsl
First implementation of graphs. Working on my notebook, probably not
[helm.git] / helm / on-line / xslt / demultiplexMutual.xsl
index 2f86509378f535c0325928539e7cb5a411d8b11a..0b1ed2b993bb0368c51a4c25861cdb4ed4b473a6 100644 (file)
 <xsl:param name="RDFURI" select="''"/>
 
 <!-- BUG UWOBO -->
-<xsl:include href="http://phd.cs.unibo.it/helm/xslt/metadataLib.xsl"/>
+<xsl:include href="file:///projects/helm/on-line/xslt/metadataLib.xsl"/>
 
 <xsl:variable name="url" select="concat($getterURL,'resolve?uri=')"/>
 
 <xsl:template match="InductiveDefinition">
  <xsl:for-each select="InductiveType">
   <xsl:variable name="RDFURIInductiveType" select="concat($RDFURI,',',position())"/>
+   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
    <xsl:apply-templates select="document(concat($url,$RDFURIInductiveType))" mode="makelink">
     <xsl:with-param name="name" select="@name"/>
     <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
    </xsl:apply-templates>
   <xsl:for-each select="Constructor">
    <xsl:variable name="RDFURIConstructor" select="concat($RDFURIInductiveType,',',position())"/>
+   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
    <xsl:apply-templates select="document(concat($url,$RDFURIConstructor))" mode="makelink">
     <xsl:with-param name="name" select="@name"/>
     <xsl:with-param name="RDFURI" select="$RDFURIConstructor"/>