helm/software/components/STATS/daemons.dot

   1   /* apps */
   2   subgraph applications {
   3     node [shape=plaintext,style=filled,fillcolor=slategray2];
   4     DependencyAnalyzer [label="Dependency\nAnalyzer\n .3 klocs"];
   5     Getter [label="Getter\n .3 klocs"];
   6     Matita [label="Matita\n 6.7 klocs"];
   7     ProofChecker [label="Proof Checker\n .1 klocs"];
   8     Uwobo [label="Uwobo\n 2.1 klocs"];
   9     Whelp [label="Whelp\n .6 klocs"];
  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;