X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_meta_theory.xsl;h=3a07962a920fade8a8d414cd0d4e4dd265bac3f1;hb=f41a5585a648d57e4d8a24d664b0a5ce5d591148;hp=c1bb71d593c36794f331a593e9b9a0967aebb57f;hpb=e0ba4db215de5bfdf1cc42e0cc1c64b04b73833d;p=helm.git

diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl
index c1bb71d59..3a07962a9 100644
--- 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#"