<!-- For details, see the HELM World-Wide-Web page, -->
<!-- http://cs.unibo.it/helm/. -->
-<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:th="http://www.cs.unibo.it/helm/namespaces/helm-theory">
<xsl:param name="getterURL" select="'http://localhost:8081/'"/>
<xsl:output method="html"/>
+<!-- CSC: absPath is the old way to retrieve a file. The new one is using -->
+<!-- URLofURI4getter, defined in getter.xsl -->
<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
<xsl:template match="/">