xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:subst="http://www.cs.unibo.it/helm/subst">
+<!--CSC: code cut & pasted also in metadataLib.xsl -->
<xsl:param name="uri_set_size" select="'30'"/>
+<!--CSC: end of cut & paste also in metadataLib.xsl -->
<xsl:output method="html" encoding="iso-8859-1"/>
</xsl:template>
<xsl:template match="body">
+ <!--CSC: end of cut & paste also in metadataLib.xsl -->
<form name="uri_set_size">
Number of nodes to show when following an hyperlink:
<input type="text" onClick="return false" value="{$uri_set_size}" size="2"/> (30 suggested)
</form>
+ <!--CSC: end of cut & paste also in metadataLib.xsl -->
<xsl:copy>
<xsl:copy-of select="@*"/>
<xsl:apply-templates/>
[,,,
,,,,,,,,,,,,,,,,
1,true],
-["Objects this one depends on.","javascript:window.open(mkDepURL(selectedURI,false),'graph')",1,0,0],
+["Objects this one depends on.","javascript:window.open(mkDepURL(selectedURI),'graph')",1,0,0],
["Render this object.","javascript:window.open(mkCICURL(selectedURI),'cic')",1,0,0],
["Objects depending directly on this one.","javascript:window.open(mkMetaTheoryURL(selectedURI),'graph')",1,0,0],
-["Objects depending on this one.","javascript:window.open(mkMetaURL(selectedURI,false),'graph')",1,0,0]
+["Objects depending on this one.","javascript:window.open(mkMetaURL(selectedURI),'graph')",1,0,0]
];
]]>
</script>