X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fdaemons.dot;h=4a8ba388fac5a26b80d803133937bf50431dcd13;hb=ed308fc03be5397081ac0e00bbc73b3f71da1e67;hp=5b7d0c3305bd24762c744ebf8572c1eeb25ff753;hpb=00187e5a38cb2fac7c806f62cd7c3d2c85ddf9c2;p=helm.git

diff --git a/helm/ocaml/daemons.dot b/helm/ocaml/daemons.dot
index 5b7d0c330..4a8ba388f 100644
--- a/helm/ocaml/daemons.dot
+++ b/helm/ocaml/daemons.dot
@@ -1,12 +1,12 @@
   /* apps */
   subgraph applications {
     node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DependencyAnalyzer [label="Dependency\nAnalyzer"];
-    Getter;
-    Matita;
-    ProofChecker [label="Proof\nChecker"];
-    Uwobo;
-    Whelp;
+    DependencyAnalyzer [label="Dependency\nAnalyzer\n .3 klocs"];
+    Getter [label="Getter\n .3 klocs"];
+    Matita [label="Matita\n 6.7 klocs"];
+    ProofChecker [label="Proof Checker\n .1 klocs"];
+    Uwobo [label="Uwobo\n 2.1 klocs"];
+    Whelp [label="Whelp\n .6 klocs"];
   }
   /* apps dep */
   DependencyAnalyzer -> metadata;
@@ -16,5 +16,4 @@
   Matita -> hgdome;
   ProofChecker -> cic_proof_checking;
   Uwobo -> content_pres;
-  Whelp -> cic_disambiguation;
-  Whelp -> content_pres;
+  Whelp -> grafite_parser;