XSL Version 0.1 ==> 1.0

[helm.git] / helm / style / mk_meta_theory.xsl

diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl
index c1bb71d593c36794f331a593e9b9a0967aebb57f..3a07962a920fade8a8d414cd0d4e4dd265bac3f1 100644 (file)
--- a/helm/style/mk_meta_theory.xsl
+++ b/helm/style/mk_meta_theory.xsl
@@ -24,7 +24,7 @@
 <!-- For details, see the HELM World-Wide-Web page,                    -->
 <!-- http://cs.unibo.it/helm/.                                         -->
 
-<xsl:stylesheet version="0.1"
+<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"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"