]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mk_meta_and_dep_graph.xsl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / style / mk_meta_and_dep_graph.xsl
index 1ab286340dc763abd4c86404b0e0027de65de18c..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#">
    <xsl:value-of select="$quotedCurrentCICURI"/>
    <xsl:text> -&gt; </xsl:text>
    <xsl:value-of select="$quotedURI"/>
+   <xsl:value-of select="$link_direction"/>
    <xsl:text>;&CSCbr;</xsl:text>
   </xsl:if>
  </xsl:for-each>