From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2001 10:31:33 +0000 (+0000)
Subject: A link to the theory of backward dependencies added to the menu.
X-Git-Tag: v0_1_3~38
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2a8e8d506300fde582e9436a94cf87d449497c39;p=helm.git

A link to the theory of backward dependencies added to the menu.
---

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]
 ];
 ]]>