]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mk_dep_graph.xsl
Initial revision
[helm.git] / helm / style / mk_dep_graph.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.   -->