test branch

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

diff --git a/helm/ocaml/daemons.dot b/helm/ocaml/daemons.dot
new file mode 100644 (file)
index 0000000..93c122d
--- /dev/null
+++ b/helm/ocaml/daemons.dot
@@ -0,0 +1,19 @@
+  /* apps */
+  subgraph applications {
+    node [shape=plaintext,style=filled,fillcolor=slategray2];
+    DependencyAnalyzer [label="Dependency\nAnalyzer"];
+    Getter;
+    Matita;
+    ProofChecker [label="Proof\nChecker"];
+    Uwobo;
+    Whelp;
+  }
+  /* apps dep */
+  DependencyAnalyzer -> metadata;
+  Getter -> getter;
+  Matita -> grafite_engine;
+  Matita -> grafite_parser;
+  Matita -> hgdome;
+  ProofChecker -> cic_proof_checking;
+  Uwobo -> content_pres;
+  Whelp -> grafite_parser;