X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fmk_dep_graph.xsl;h=739bd279bba6f11bdde265436b095601850bbc5f;hb=1ffac96ddcc32469442f1b6d483fd9ed862107e8;hp=b6c6041c94283a0a5334752da21b8539e4972414;hpb=493b41ea94e84d73aa45291dff63c0591f92eedb;p=helm.git
diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl
index b6c6041c9..739bd279b 100644
--- a/helm/style/mk_dep_graph.xsl
+++ b/helm/style/mk_dep_graph.xsl
@@ -38,9 +38,11 @@
+
+
-
+
@@ -115,9 +117,10 @@
-->
strict digraph L0 { size = "83,83"; node [style=filled, shape = box];&CSCbr;
-
-
-
+
+
+
+
}
@@ -134,13 +137,19 @@
-
+
+
+
+
+
+
+
@@ -149,16 +158,10 @@
",URL="
"
-
+
,color=red
];&CSCbr;
-
-
-
-
-
-
@@ -171,13 +174,14 @@
-
-
- ->
-
- ;&CSCbr;
-
-
+
+
+
+
+ ->
+
+ ;&CSCbr;
+