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 \
- tactics \
- hbugs \
metadata \
+ tactics \
cic_transformations \
- cic_textual_parser2
+ cic_textual_parser2 \
+ mathql \
+ mathql_interpreter \
+ mathql_generator \
+ hbugs
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@