From eac2033b1cfbce614010f123faf8544da65d8319 Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 28 May 2004 15:02:09 +0000
Subject: [PATCH] * makeProofTreeURL ported to the new interface

---
 helm/on-line/xslt/resolve_topurl.xsl | 7 +++++++
 1 file changed, 7 insertions(+)

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"/>
-- 
2.39.2