]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mk_meta_graph.xsl
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / style / mk_meta_graph.xsl
index 16840046effc16a7523c241a7ef8d14bd71ecf75..aecf9ef3ea6619e8fece7fa0f9caeb6e90c94257 100644 (file)
 <!-- 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/backward//'"/>
- <xsl:variable name="link_direction" select="' [dir=back]'"/>
+ <!-- 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/backward//'"/>
+ <xsl:variable name="link_direction" select="' [dir=back]'"/>
+
 </xsl:stylesheet>