MODULES = \
pxp \
registry \
+ utf8_macros \
thread \
+ xmldiff \
xml \
urimanager \
logger \
getter \
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 \
+ metadata \
tactics \
- hbugs \
cic_transformations \
cic_textual_parser2