]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/resolve_topurl.xsl
Major interface improvements.
[helm.git] / helm / on-line / xslt / resolve_topurl.xsl
index 50fd991fc14845bbb8fad0c64d6f953de9614fad..27651899ef437f0cdbc385f9708e2d963f1d6068 100644 (file)
  <xsl:value-of select="$url"/>
 </xsl:template>
 
+<xsl:template match="subst:CICURL">
+ <xsl:call-template name="makeCICURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:HTMLURL">
+ <xsl:call-template name="makeHTMLURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:MathMLPresentationURL">
+ <xsl:call-template name="makeMathMLPresentationURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:MathMLContentURL">
+ <xsl:call-template name="makeMathMLContentURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:DirectRDFURL">
+ <xsl:call-template name="makeDirectRDFURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:InverseRDFURL">
+ <xsl:call-template name="makeInverseRDFURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:DCRDFURL">
+ <xsl:call-template name="makeDCRDFURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+ </xsl:call-template>
+</xsl:template>
+
 <xsl:template match="subst:CICURI">
  <xsl:value-of select="$CICURI"/>
 </xsl:template>
  </xsl:call-template>
 </xsl:template>
 
+<xsl:template match="subst:makeDirectDependencyURL">
+  <xsl:call-template name="makeDirectDependenciesURL">
+    <xsl:with-param name="uri" select="$CICURI"/>
+  </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeRecDependencyURL">
+  <xsl:call-template name="makeGraphURL">
+    <xsl:with-param name="uri" select="$CICURI"/>
+    <xsl:with-param name="keys" select="'MDG'"/>
+    <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
+    <xsl:with-param name="uri_set_size" select="'30'"/>
+  </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeInverseDirectDependencyURL">
+  <xsl:call-template name="makeInverseDirectDependenciesURL">
+    <xsl:with-param name="uri" select="$CICURI"/>
+  </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeInverseRecDependencyURL">
+  <xsl:call-template name="makeGraphURL">
+    <xsl:with-param name="uri" select="$CICURI"/>
+    <xsl:with-param name="keys" select="'MMG'"/>
+    <!-- <xsl:with-param name="uri_set_size" select="'document.uri_set_size.elements[0].value'"/> -->
+    <xsl:with-param name="uri_set_size" select="'30'"/>
+  </xsl:call-template>
+</xsl:template>
+
 <xsl:template match="/|*">
  <xsl:copy>
   <xsl:copy-of select="@*"/>