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;
Getter -> getter;
Matita -> cic_disambiguation;
Matita -> grafite;
-// Matita -> hgdome;
+ Matita -> hgdome;
Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
Uwobo -> content_pres;