From: Claudio Sacerdoti Coen Date: Fri, 12 Oct 2001 08:42:37 +0000 (+0000) Subject: New implementation of the graph staff: the logic has been moved X-Git-Tag: v0_1_3~69 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=86e5b0a0e79dddd8e3696305bd2db4feb9a0caca;p=helm.git New implementation of the graph staff: the logic has been moved from mk_html.pl to the stylesheets --- diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index 08ce976eb..aa1cec3be 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -3,174 +3,19 @@ use URI::Escape; print < Graph - - - - - - - - - EOT @@ -188,31 +33,17 @@ while () { $point2x = substr($point2x,1); print < -EOT - - print < -HM_Array$count = [ -[,,, -,,,,,,,,,,,,,,,, -1,true], -["Objects this one depends on.",mkDepURL('$uri'),1,0,1], -["Render this object.","javascript:window.open('" + mkCICURL('$uri') + "','cic')",1,0,0], -["Objects depending on this one.",mkMetaURL('$uri'),1,0,1], -]; - + EOT } print < - - + EOT