New HELM interface almost stable.

[helm.git] / helm / on-line / xslt / resolve_topurl.xsl

diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl
index 27651899ef437f0cdbc385f9708e2d963f1d6068..c2ad9e28c132ddc956b14178294d07f7b5353dcd 100644 (file)
--- a/helm/on-line/xslt/resolve_topurl.xsl
+++ b/helm/on-line/xslt/resolve_topurl.xsl
@@ -144,6 +144,13 @@
  </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 +158,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 +176,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 +190,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>