* makeProofTreeURL ported to the new interface

[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 a075e6a15327c57c97a3437079ee9b3a6b432a3b..4f794af39e079f51ebc29d7b0f99d6f83a421b2e 100644 (file)
--- a/helm/on-line/xslt/resolve_topurl.xsl
+++ b/helm/on-line/xslt/resolve_topurl.xsl
@@ -160,6 +160,13 @@
  </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"/>