X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_dep_graph.xsl;h=d06bc2fb8d2a3a26b908a9ec27b4de10acef172a;hb=09aa799947c84148221af82e94e911adea8fd1e6;hp=739bd279bba6f11bdde265436b095601850bbc5f;hpb=1ffac96ddcc32469442f1b6d483fd9ed862107e8;p=helm.git diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index 739bd279b..d06bc2fb8 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; - - - - - - - - -