From: Claudio Sacerdoti Coen Date: Fri, 12 Oct 2001 08:34:14 +0000 (+0000) Subject: New implementation of the graph staff: logic moved X-Git-Tag: v0_1_3~70 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b651b92d8ca72e5e0d7c6630b82b42cc2d16718c;p=helm.git New implementation of the graph staff: logic moved from mk_html.pl to the stylesheets. --- diff --git a/helm/on-line/xslt/metadataLib.xsl b/helm/on-line/xslt/metadataLib.xsl index b4f56cca6..414eb8b10 100644 --- a/helm/on-line/xslt/metadataLib.xsl +++ b/helm/on-line/xslt/metadataLib.xsl @@ -6,7 +6,7 @@ - + @@ -64,7 +64,9 @@ var url = setParam(location.href,"keys","MMG"); url = setParam(url,"xmluri", getterURL + 'getxml%3Furi%3D' + RDFURI); url = draw_graphURL + 'draw?url=' + escape(url); - document.write('View the graph of all the objects depending on this one.'); + var url2 = setParam(location.href,"keys","ML2,RT"); + url2 = setParam(url2,"xmluri",escape(url)); + document.write('View the graph of all the objects depending on this one.'); ]]>

@@ -78,10 +80,12 @@ var getterURL = ""; var draw_graphURL = ""; View the graph of all the dependencies of this object.'); + var url2 = setParam(location.href,"keys","ML2,RT"); + url2 = setParam(url2,"xmluri",escape(url)); + document.write('View the graph of all the dependencies of this object.'); ]]>