X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmk_meta_graph.xsl;fp=helm%2Fstyle%2Fmk_meta_graph.xsl;h=0f6acba1dcbafcfa768d70529d21b8d36e48a8c3;hb=1ffac96ddcc32469442f1b6d483fd9ed862107e8;hp=e19e8daa22f0ab0785c4c7cfcbfd3b74d4f2986b;hpb=493b41ea94e84d73aa45291dff63c0591f92eedb;p=helm.git
diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl
index e19e8daa2..0f6acba1d 100644
--- a/helm/style/mk_meta_graph.xsl
+++ b/helm/style/mk_meta_graph.xsl
@@ -38,10 +38,14 @@
+
+
-
+
+
+
@@ -109,15 +113,47 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
strict digraph L0 { size = "83,83"; node [style=filled, shape = box];&CSCbr;
+
+
+
+
+
-
-
-
+
+
+
+
}
@@ -149,8 +185,13 @@
+
+
+
+
+
-
+
@@ -158,6 +199,12 @@
+
+
+
+
+
+
@@ -166,16 +213,10 @@
",URL="
"
-
+
,color=red
];&CSCbr;
-
-
-
-
-
-
@@ -187,13 +228,19 @@
-
-
- ->
-
- ;&CSCbr;
-
-
+
+
+
+
+
+
+
+
+
+ ->
+
+ ;&CSCbr;
+