From 2a8e8d506300fde582e9436a94cf87d449497c39 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 25 Oct 2001 10:31:33 +0000 Subject: [PATCH] A link to the theory of backward dependencies added to the menu. --- helm/on-line/xslt/makeGraphLinks.xsl | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl index f56026f40..74c0b7258 100644 --- a/helm/on-line/xslt/makeGraphLinks.xsl +++ b/helm/on-line/xslt/makeGraphLinks.xsl @@ -128,6 +128,7 @@ HM_Array1 = [ 1,true], ["Objects this one depends on.","javascript:window.open(mkDepURL(selectedURI,false),'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] ]; ]]> -- 2.39.2