From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 28 May 2004 15:02:09 +0000 (+0000)
Subject: * makeProofTreeURL ported to the new interface
X-Git-Tag: pre_subst_in_kernel~49
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eac2033b1cfbce614010f123faf8544da65d8319;p=helm.git

* makeProofTreeURL ported to the new interface
---

diff --git a/helm/on-line/xslt/resolve_topurl.xsl b/helm/on-line/xslt/resolve_topurl.xsl
index a075e6a15..4f794af39 100644
--- 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"/>