+++ /dev/null
-<?xml version="1.0"?>
-
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns:subst="http://www.cs.unibo.it/helm/subst">
-
-<xsl:output
- method="html"
- encoding="ISO-8859-1"
- media-type="text/html" />
-
-<xsl:param name="topurl" select="''"/>
-
-<xsl:template match="subst:script">
- <xsl:copy-of select="document(concat($topurl,@src,'_xml'))" />
-</xsl:template>
-
-<xsl:template match="subst:topurl">
- <xsl:value-of select="$topurl"/>
-</xsl:template>
-
-<xsl:template match="/|*">
- <xsl:copy>
- <xsl:copy-of select="@*"/>
- <xsl:apply-templates/>
- </xsl:copy>
-</xsl:template>
-
-</xsl:stylesheet>