helm/ocaml/daemons.dot

   1   /* apps */
   2   subgraph applications {
   3     node [shape=plaintext,style=filled,fillcolor=slategray2];
   4     DependencyAnalyzer [label="Dependency\nAnalyzer"];
   5     Getter;
   6     Matita;
   7     ProofChecker [label="Proof\nChecker"];
   8     Uwobo;
   9     Whelp;
  10   }
  11   /* apps dep */
  12   DependencyAnalyzer -> metadata;
  13   Getter -> getter;
  14   Matita -> grafite_engine;
  15   Matita -> grafite_parser;
  16   Matita -> hgdome;
  17   ProofChecker -> cic_proof_checking;
  18   Uwobo -> content_pres;
  19   Whelp -> grafite_parser;