X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fon-line%2Fxslt%2Fresolve_topurl.xsl;h=4f794af39e079f51ebc29d7b0f99d6f83a421b2e;hb=a4d808ae26c008ecd87c631dfb955a22e018352c;hp=27651899ef437f0cdbc385f9708e2d963f1d6068;hpb=d8b76c102e4f540c3ecfa550267331a7a72810c2;p=helm.git

diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl
index 27651899e..4f794af39 100644
--- a/helm/on-line/xslt/resolve_topurl.xsl
+++ b/helm/on-line/xslt/resolve_topurl.xsl
@@ -99,6 +99,22 @@
  <xsl:value-of select="$CICURI"/>
 </xsl:template>
 
+<xsl:template match="subst:cleanCICURI">
+ <xsl:variable name="uri" select="$CICURI"/>
+ <xsl:variable name="uri_before_body" select="substring-before($uri,'.body')"/>
+ <xsl:variable name="cleanuri">
+  <xsl:choose>
+   <xsl:when test="$uri_before_body = ''">
+    <xsl:value-of select="$uri"/>
+   </xsl:when>
+   <xsl:otherwise>
+    <xsl:value-of select="$uri_before_body"/>
+   </xsl:otherwise>
+  </xsl:choose>
+ </xsl:variable>
+ <xsl:value-of select="$cleanuri"/>
+</xsl:template>
+
 <xsl:template match="subst:base_CICURI">
   <xsl:variable name="len" select="string-length($CICURI)" />
   <xsl:variable name="extension">
@@ -144,6 +160,20 @@
  </xsl:call-template>
 </xsl:template>
 
+<xsl:template match="subst:makeProofTreeURL">
+ <xsl:call-template name="makeProofTreeURL">
+  <xsl:with-param name="uri" select="$CICURI"/>
+  <xsl:with-param name="createframeset" select="false()"/>
+ </xsl:call-template>
+</xsl:template>
+
+<xsl:template match="subst:makeHTMLURLwithProfile">
+ <xsl:call-template name="makeHTMLURLwithProfile">
+  <xsl:with-param name="uri" select="$CICURI"/>
+  <xsl:with-param name="profile" select="@profile"/>
+ </xsl:call-template>
+</xsl:template>
+
 <xsl:template match="subst:makeTheoryURL">
  <xsl:call-template name="makeTheoryURL">
   <xsl:with-param name="uri" select="$CICURI"/>
@@ -151,6 +181,14 @@
  </xsl:call-template>
 </xsl:template>
 
+<xsl:template match="subst:makeTheoryURLwithProfile">
+ <xsl:call-template name="makeTheoryURLwithProfile">
+  <xsl:with-param name="uri" select="$CICURI"/>
+  <xsl:with-param name="createframeset" select="true()"/>
+  <xsl:with-param name="profile" select="@profile"/>
+ </xsl:call-template>
+</xsl:template>
+
 <xsl:template match="subst:makeDirectDependencyURL">
   <xsl:call-template name="makeDirectDependenciesURL">
     <xsl:with-param name="uri" select="$CICURI"/>
@@ -161,8 +199,7 @@
   <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:with-param name="uri_set_size" select="$uri_set_size"/>
   </xsl:call-template>
 </xsl:template>
 
@@ -176,8 +213,7 @@
   <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:with-param name="uri_set_size" select="$uri_set_size"/>
   </xsl:call-template>
 </xsl:template>