/* libs clusters */
subgraph cluster_presentation {
label = "Terms at the content and presentation level";
- rank = min;
labelloc = "b";
labeljust = "r";
style = "filled";
}
subgraph cluster_utilities {
label = "Utilities";
- rank = max;
labelloc = "b";
labeljust = "r";
style = "filled";
Whelp;
}
/* apps dep */
- DrawGraph -> getter;
+ DrawGraph -> metadata;
Getter -> getter;
Matita -> cic_disambiguation;
- Matita -> tactics;
+ Matita -> grafite;
+// Matita -> hgdome;
+ Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
- Uwobo -> acic_content;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;
- Whelp -> whelp;
}