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