]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/expandobj.xsl
Initial revision
[helm.git] / helm / style / expandobj.xsl
index 2171846e31e9bdc12e9d194ee18faebab12d0659..6c61823d871e180fee70c9a781984e523981da90 100644 (file)
@@ -29,7 +29,7 @@
 <!-- First draft: March 08 2001, Irene Schena                              -->
 <!--***********************************************************************--> 
 
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory">
 
 <!--******************************************************************-->
@@ -53,6 +53,7 @@
    <xsl:copy>
     <xsl:copy-of select="@*"/>
     <xsl:copy-of select="document(string($url))"/>
+    <xsl:value-of select="$url"/>
    </xsl:copy>
 </xsl:template>