]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/ricerca.xsl
Initial revision
[helm.git] / helm / style / ricerca.xsl
index e22a2a943e3e780a16cd1d0f7e9b33d6ed4f3797..d665eac51e6aa909fbb693faa28d074f8992314c 100644 (file)
@@ -24,7 +24,7 @@
 <!-- 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/'"/>