]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mk_meta_and_dep_graph.xsl
new MathQL syntax
[helm.git] / helm / style / mk_meta_and_dep_graph.xsl
index 1ab286340dc763abd4c86404b0e0027de65de18c..4415ca90a70d519efb652214226cf6d6f4ebe749 100644 (file)
    <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>