X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_dep_graph.xsl;h=4cdc17f35b7324b06945b4b67443e66ebdb41ac5;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=dee91b3c1bdf6d5cc1d038d70d89ae0cdb33b5b7;hpb=7a682312385646c38eb1c70d78c2dea127bd2dad;p=helm.git diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index dee91b3c1..4cdc17f35 100644 --- a/helm/style/mk_dep_graph.xsl +++ b/helm/style/mk_dep_graph.xsl @@ -24,170 +24,15 @@ - - -]> + - + + + - + - - - - - - + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - strict digraph L0 { size = "83,83"; node [style=filled, shape = box];&CSCbr; - - - - - - } - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - [label=" - - ",URL=" - - " - - ,color=red - - ];&CSCbr; - - - - - - - - - - - - - - - - - -> - - ;&CSCbr; - - - - - - - - -