-MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
- cic_cache cic_proof_checking cic_textual_parser \
- cic_textual_parser2 \
- tex_cic_textual_parser cic_unification mathql mathql_generator \
- mathql_interpreter cic_omdoc tactics cic_transformations