# Warning: the modules must be in compilation order
NULL =
MODULES = \
+ extlib \
xml \
registry \
+ hmysql \
utf8_macros \
thread \
xmldiff \
tactics \
cic_notation \
cic_transformations \
- cic_textual_parser2 \
+ cic_disambiguation \
paramodulation \
$(NULL)