MODULES = \
pxp \
registry \
+ utf8_macros \
thread \
xmldiff \
xml \
getter \
cic \
cic_annotations \
- cic_annotations_cache \
- cic_cache \
cic_proof_checking \
cic_textual_parser \
tex_cic_textual_parser \
mathql_generator \
mathql_interpreter \
cic_omdoc \
+ metadata \
tactics \
hbugs \
cic_transformations \