X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fricerca.xsl;h=d665eac51e6aa909fbb693faa28d074f8992314c;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=24f5e1746b9b18e0ef4b72923fb1bb680170fca5;hpb=0f23d999f409f3fed9ae6b7d6c45404e9818eab4;p=helm.git

diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl
index 24f5e1746..d665eac51 100644
--- a/helm/style/ricerca.xsl
+++ b/helm/style/ricerca.xsl
@@ -24,13 +24,15 @@
 <!-- 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="/">
@@ -100,16 +102,3 @@
 </xsl:template>
 
 </xsl:stylesheet>
-
-
-
-
-
-
-
-
-
-
-
-
-