moved dot stuff to STATS/

[helm.git] / helm / ocaml / daemons.dot

diff --git a/helm/ocaml/daemons.dot b/helm/ocaml/daemons.dot
deleted file mode 100644 (file)
index 4a8ba38..0000000
--- a/helm/ocaml/daemons.dot
+++ /dev/null
@@ -1,19 +0,0 @@
-  /* apps */
-  subgraph applications {
-    node [shape=plaintext,style=filled,fillcolor=slategray2];
-    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;
-  Getter -> getter;
-  Matita -> grafite_engine;
-  Matita -> grafite_parser;
-  Matita -> hgdome;
-  ProofChecker -> cic_proof_checking;
-  Uwobo -> content_pres;
-  Whelp -> grafite_parser;