hgdome;
hmysql;
registry;
- utf8_macros;
+// utf8_macros;
xml;
}
/* libs */
metadata -> getter;
metadata -> hmysql;
grafite -> content_pres;
- content_pres -> utf8_macros;
+// content_pres -> utf8_macros;
content_pres -> acic_content;
acic_content -> cic_acic;
cic_acic -> cic_proof_checking;
/* apps */
subgraph applications {
node [shape=plaintext,style=filled,fillcolor=slategray2];
- DrawGraph;
+ DependencyAnalyzer [label="Dependency\nAnalyzer"];
Getter;
Matita;
- ProofChecker;
+ ProofChecker [label="Proof\nChecker"];
Uwobo;
Whelp;
}
/* apps dep */
- DrawGraph -> metadata;
+ DependencyAnalyzer -> metadata;
Getter -> getter;
Matita -> cic_disambiguation;
Matita -> grafite;
-// Matita -> hgdome;
+ Matita -> hgdome;
Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;
+ Whelp -> content_pres;
}