]> matita.cs.unibo.it Git - helm.git/commitdiff
XSL Version 0.1 ==> 1.0
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Jun 2002 14:32:19 +0000 (14:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 10 Jun 2002 14:32:19 +0000 (14:32 +0000)
helm/style/mk_dep_graph.xsl
helm/style/mk_meta_and_dep_graph.xsl
helm/style/mk_meta_theory.xsl

index d06bc2fb8d2a3a26b908a9ec27b4de10acef172a..4cdc17f35b7324b06945b4b67443e66ebdb41ac5 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">
 
  <!-- Note: the param processorURL is not available. It has been -->
  <!-- removed to keep the final URL short enought to make I.E.   -->
index 4415ca90a70d519efb652214226cf6d6f4ebe749..a9a9a954bbc5d90c61a36866512fd647c3fc0af2 100644 (file)
@@ -30,7 +30,7 @@
 ">
 ]>
 
-<xsl:stylesheet version="0.1"
+<xsl:stylesheet version="1.0"
   xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:h="http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#">
index c1bb71d593c36794f331a593e9b9a0967aebb57f..3a07962a920fade8a8d414cd0d4e4dd265bac3f1 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"
+<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#"