X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_dep_graph.xsl;h=4cdc17f35b7324b06945b4b67443e66ebdb41ac5;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=e95d888182d646e521711dc84f0a8a9f28c1c455;hpb=90777831624ec55c4b68bdb0a7206ef407ba7da3;p=helm.git

diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl
index e95d88818..4cdc17f35 100644
--- a/helm/style/mk_dep_graph.xsl
+++ b/helm/style/mk_dep_graph.xsl
@@ -24,10 +24,15 @@
 <!-- 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">
 
- <xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/forward//'"/>
+ <!-- Note: the param processorURL is not available. It has been -->
+ <!-- removed to keep the final URL short enought to make I.E.   -->
+ <!-- work with it.                                              -->
 
  <xsl:import href="mk_meta_and_dep_graph.xsl"/>
 
+ <xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/forward//'"/>
+ <xsl:variable name="link_direction" select="''"/>
+
 </xsl:stylesheet>