X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_dep_graph.xsl;h=4cdc17f35b7324b06945b4b67443e66ebdb41ac5;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;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..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; - - - - - - - - -